Skip to content
Build and Test

Fix CoinductiveProofs.dfy granularity #20116

Sign in to view logs

Fix CoinductiveProofs.dfy granularity

Fix CoinductiveProofs.dfy granularity #20116

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
7s
singletons
3m 15s
xunit-tests / populate-matrix-dimensions
1s
integration-tests / populate-matrix-dimensions
1s
integration-tests / test (ubuntu-20.04, 1)
24m 22s
integration-tests / test (ubuntu-20.04, 2)
22m 24s
integration-tests / test (ubuntu-20.04, 3)
25m 49s
integration-tests / test (ubuntu-20.04, 4)
22m 50s
integration-tests / test (ubuntu-20.04, 5)
21m 28s
integration-tests / test (macos-13, 1)
34m 12s
integration-tests / test (macos-13, 2)
38m 42s
integration-tests / test (macos-13, 3)
32m 52s
integration-tests / test (macos-13, 4)
32m 2s
integration-tests / test (macos-13, 5)
26m 8s
integration-tests / test (windows-2019, 1)
29m 19s
integration-tests / test (windows-2019, 2)
27m 18s
integration-tests / test (windows-2019, 3)
29m 22s
integration-tests / test (windows-2019, 4)
27m 57s
integration-tests / test (windows-2019, 5)
28m 16s
xunit-tests / ubuntu-20.04 (1)
13m 15s
xunit-tests / win (1)
17m 44s
xunit-tests / osx (1)
22m 35s
test-coverage-analysis
0s
7h 59m 59s