Skip to content
Build and Test

Add /v4 to references to dafny-lang/DafnyRuntimeGo #19215

Sign in to view logs

Add /v4 to references to dafny-lang/DafnyRuntimeGo

Add /v4 to references to dafny-lang/DafnyRuntimeGo #19215

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
7s
singletons
3m 45s
xunit-tests / populate-matrix-dimensions
1s
integration-tests / populate-matrix-dimensions
1s
xunit-tests / ubuntu-20.04 (1)
12m 39s
xunit-tests / win (1)
18m 29s
xunit-tests / osx (1)
18m 6s
integration-tests / test (ubuntu-20.04, 1)
29m 28s
integration-tests / test (ubuntu-20.04, 2)
24m 23s
integration-tests / test (ubuntu-20.04, 3)
19m 53s
integration-tests / test (ubuntu-20.04, 4)
23m 36s
integration-tests / test (ubuntu-20.04, 5)
22m 38s
test-coverage-analysis
59s
2h 54m 5s