Skip to content
Publish GitHub Pages

Merge pull request #281 from elbeno/call-by-need-refs #269

Sign in to view logs

Merge pull request #281 from elbeno/call-by-need-refs

Merge pull request #281 from elbeno/call-by-need-refs #269

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Configure Github Pages Publishing
5s
Build Documentation
1m 37s
Deploy Documentation
12s
1m 54s