Skip to content
Back to pull request #5847

Fix: Dafny server API for counterexamples #19476

Sign in to view logs

Fix: Dafny server API for counterexamples

Fix: Dafny server API for counterexamples #19476

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
6s
singletons
3m 31s
integration-tests / populate-matrix-dimensions
2s
xunit-tests / populate-matrix-dimensions
1s
integration-tests / test (ubuntu-20.04, 1)
20m 31s
integration-tests / test (ubuntu-20.04, 2)
22m 58s
integration-tests / test (ubuntu-20.04, 3)
23m 37s
integration-tests / test (ubuntu-20.04, 4)
30m 23s
integration-tests / test (ubuntu-20.04, 5)
20m 56s
xunit-tests / ubuntu-20.04 (1)
7m 27s
xunit-tests / win (1)
12m 13s
xunit-tests / osx (1)
21m 34s
test-coverage-analysis
0s
2h 43m 19s