Skip to content
Publish GitHub Pages

Merge pull request #410 from elbeno/call-by-need-call-policy #374

Sign in to view logs

Merge pull request #410 from elbeno/call-by-need-call-policy

Merge pull request #410 from elbeno/call-by-need-call-policy #374

Triggered via push August 14, 2026 13:42
@elbenoelbeno
pushed ddaaa70
main
Status Success
Total duration 5m 51s
Artifacts 1

asciidoctor-ghpages.yml

on: push
Configure Github Pages Publishing
6s
Configure Github Pages Publishing
Build Documentation
1m 19s
Build Documentation
Deploy Documentation
12s
Deploy Documentation
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
65 KB
sha256:0443ba30154e6ef4afdc668b4cdf7e080cd7124ea1130f75a38aa3ae9ab64600