Skip to content
Back to pull request #6065

Fix CoinductiveProofs.dfy granularity #20118

Sign in to view logs

Fix CoinductiveProofs.dfy granularity

Fix CoinductiveProofs.dfy granularity #20118

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
5s
singletons
3m 33s
integration-tests / populate-matrix-dimensions
1s
xunit-tests / populate-matrix-dimensions
1s
integration-tests / test (ubuntu-20.04, 1)
23m 52s
integration-tests / test (ubuntu-20.04, 2)
22m 22s
integration-tests / test (ubuntu-20.04, 3)
26m 1s
integration-tests / test (ubuntu-20.04, 4)
22m 53s
integration-tests / test (ubuntu-20.04, 5)
22m 29s
integration-tests / test (macos-13, 1)
38m 53s
integration-tests / test (macos-13, 2)
29m 47s
integration-tests / test (macos-13, 3)
36m 35s
integration-tests / test (macos-13, 4)
43m 54s
integration-tests / test (macos-13, 5)
22m 49s
integration-tests / test (windows-2019, 1)
35m 28s
integration-tests / test (windows-2019, 2)
29m 53s
integration-tests / test (windows-2019, 3)
35m 12s
integration-tests / test (windows-2019, 4)
31m 29s
integration-tests / test (windows-2019, 5)
31m 12s
xunit-tests / ubuntu-20.04 (1)
12m 37s
xunit-tests / win (1)
18m 22s
xunit-tests / osx (1)
17m 59s
test-coverage-analysis
0s
8h 25m 27s