Skip to content
Build and Test

Chore: Not generate boogie translation if not verifying #20172

Sign in to view logs

Chore: Not generate boogie translation if not verifying

Chore: Not generate boogie translation if not verifying #20172

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
4s
singletons
3m 12s
integration-tests / populate-matrix-dimensions
1s
xunit-tests / populate-matrix-dimensions
1s
xunit-tests / ubuntu-20.04 (1)
12m 53s
xunit-tests / win (1)
16m 51s
xunit-tests / osx (1)
16m 10s
integration-tests / test (ubuntu-20.04, 1)
20m 25s
integration-tests / test (ubuntu-20.04, 2)
27m 19s
integration-tests / test (ubuntu-20.04, 3)
23m 35s
integration-tests / test (ubuntu-20.04, 4)
24m 35s
integration-tests / test (ubuntu-20.04, 5)
23m 56s
test-coverage-analysis
1m 11s
2h 50m 13s