Skip to content
Build and Test

Remove function-context-height variable in Boogie encoding #20056

Sign in to view logs

Remove function-context-height variable in Boogie encoding

Remove function-context-height variable in Boogie encoding #20056

Run time

Learn about OS pricing on GitHub Actions
Job Run time
check-deep-tests / check-deep-tests
5s
singletons
3m 15s
xunit-tests / populate-matrix-dimensions
1s
integration-tests / populate-matrix-dimensions
1s
xunit-tests / ubuntu-20.04 (1)
9m 51s
xunit-tests / win (1)
10m 29s
xunit-tests / osx (1)
17m 0s
integration-tests / test (ubuntu-20.04, 1)
25m 36s
integration-tests / test (ubuntu-20.04, 2)
24m 2s
integration-tests / test (ubuntu-20.04, 3)
24m 50s
integration-tests / test (ubuntu-20.04, 4)
22m 57s
integration-tests / test (ubuntu-20.04, 5)
25m 33s
test-coverage-analysis
0s
2h 43m 40s