Skip to content
Deploy to GH Pages

Merge pull request #1181 from hacspec/tweak-release-procedure #369

Sign in to view logs

Merge pull request #1181 from hacspec/tweak-release-procedure

Merge pull request #1181 from hacspec/tweak-release-procedure #369

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-deploy-external-gh-pages
53s
build-documentation
10m 30s
deploy-documentation
1m 4s
12m 27s