Skip to content
Test Workspace

Merge pull request #1261 from cryspen/franziskus/landing-page-rocq #3753

Sign in to view logs

Merge pull request #1261 from cryspen/franziskus/landing-page-rocq

Merge pull request #1261 from cryspen/franziskus/landing-page-rocq #3753

Run time

Learn about OS pricing on GitHub Actions
Job Run time
no-std-lib
38s
test-workspace (macos-latest)
1m 22s
test-workspace (ubuntu-latest)
1m 35s
test-workspace (windows-latest)
3m 46s
7m 21s