Skip to content
Cryptol Docs

Merge pull request #1614 from GaloisInc/vr/file-embed #191

Sign in to view logs

Merge pull request #1614 from GaloisInc/vr/file-embed

Merge pull request #1614 from GaloisInc/vr/file-embed #191

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-pages-docs
2m 26s
build-branch-docs
1m 21s
3m 47s