Skip to content
Deploy to GH Pages

Merge pull request #1210 from hacspec/filter-fst-comments-interface-only #377

Sign in to view logs

Merge pull request #1210 from hacspec/filter-fst-comments-interface-only

Merge pull request #1210 from hacspec/filter-fst-comments-interface-only #377

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-and-deploy-external-gh-pages
45s
build-documentation
6m 50s
deploy-documentation
1m 5s
8m 40s