Skip to content

Merge branch 'main' into annex-vs-appendix #559

Merge branch 'main' into annex-vs-appendix

Merge branch 'main' into annex-vs-appendix #559

Triggered via push November 20, 2025 16:32
Status Success
Total duration 19s
Artifacts 1
Compile site assets
15s
Compile site assets
Publish to GitHub Pages
0s
Publish to GitHub Pages
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
output
31.8 KB
sha256:ae15dcb1af88e82137dcaea878162ff4125d0564127eb9f4253f15dd15e601bf