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

Triggered via pull request January 11, 2025 07:28
@RustanLeinoRustanLeino
opened #6046
RustanLeino:remove-functionHeight
Status Failure
Total duration 26m 7s
Artifacts 8

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
5s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
0s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
0s
xunit-tests / populate-matrix-dimensions
singletons
3m 15s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 2 warnings
xunit-tests / ubuntu-20.04 (1)
Process completed with exit code 1.
xunit-tests / win (1)
Process completed with exit code 1.
xunit-tests / osx (1)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
xunit-tests / populate-matrix-dimensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
integration-tests / populate-matrix-dimensions
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-ubuntu-20.04-1 Expired
1.69 MB
sha256:32d728a2fee4916976b491b3ecc62eeaeeb604343b4afbf56264e8978db3ce4a
integration-test-results-ubuntu-20.04-2 Expired
1.68 MB
sha256:b5090e0c82485523df9fe1dde6d522c8e3f591006a1de2dd8f72f9e1ae6282f4
integration-test-results-ubuntu-20.04-3 Expired
1.7 MB
sha256:de3fcb5bd928e38557b17fd219f112fe9b8dc906a9fb6adc72174677117c6f5b
integration-test-results-ubuntu-20.04-4 Expired
1.69 MB
sha256:3ea7cdb87b8ac8beac5be8bf816022d42826a7442f338a82ac06941a06489d69
integration-test-results-ubuntu-20.04-5 Expired
1.7 MB
sha256:ac7295280482441084c0d9a50d579776abb5a79cdb84e15a0205c7835ea9dc01
unit-test-results-macos-13 Expired
6.79 MB
sha256:1ffbef8b9ab32508988b5c7cceff399c64ed7b1592a7797179b4dcf867219af5
unit-test-results-ubuntu-20.04 Expired
6.82 MB
sha256:cf8f9ba205c582ac8e6430122535a2a4d5083f068ac11f6c239812c9573db38f
unit-test-results-windows-2019 Expired
4.01 MB
sha256:eeeea0e07794283562897bf84e1da19089cc5312bb1096dab89e2315f6eeb11f