Skip to content
Build and Test

Speed up dafny verify by reducing memory pressure #19220

Sign in to view logs

Speed up dafny verify by reducing memory pressure

Speed up dafny verify by reducing memory pressure #19220

Triggered via pull request October 11, 2024 12:07
@keyboardDrummerkeyboardDrummer
synchronize #5827
keyboardDrummer:onlyClaimVerificationMemoryPerModule
Status Failure
Total duration 46m 43s
Artifacts 8

msbuild.yml

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

Annotations

9 errors
singletons
Process completed with exit code 2.
xunit-tests / ubuntu-20.04 (1)
Process completed with exit code 1.
xunit-tests / osx (1)
Process completed with exit code 1.
xunit-tests / win (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.
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-ubuntu-20.04-1 Expired
89 KB
sha256:917a3014fa1a303fed1e82a96f3d7dab09aeb2934797f322e39dbe8f920a3ebc
integration-test-results-ubuntu-20.04-2 Expired
2.34 MB
sha256:29d732fdefa41f35c91bd655bda9ace1996fee7f718bbd608fc19a832fb6faf5
integration-test-results-ubuntu-20.04-3 Expired
2.33 MB
sha256:53ac085253d8954edf325ce4df0e37ca6d87177315f597139e08673b61ed6d1c
integration-test-results-ubuntu-20.04-4 Expired
2.34 MB
sha256:3d4cf356222c838e3c92f8e8547bb54f61ddf28b3f6abdb0d1289dec43ad2626
integration-test-results-ubuntu-20.04-5 Expired
2.33 MB
sha256:bba23ff8e0a4ab736eb6ca4e063803191698629f57536d1322187675644c9b78
unit-test-results-macos-13 Expired
5.29 MB
sha256:759399844320700ec3013ed1d7e2c7beadbfa179abd613abaf1692ccb1e17c03
unit-test-results-ubuntu-20.04 Expired
5.32 MB
sha256:5c6008239fdf158b5feeecb5834db9ebee48938edf6d0a5cdab5ffd6bd0a2ff6
unit-test-results-windows-2019 Expired
5.29 MB
sha256:63e270ac1d76a204f8e1156872767a3cfb68b853341c1bee5f18a671799f62da