Skip to content

Penetrating by blocks #19140

Penetrating by blocks

Penetrating by blocks #19140

Triggered via pull request September 25, 2024 08:04
Status Failure
Total duration 26m 22s
Artifacts 7

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
7s
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
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
integration-tests / test (ubuntu-20.04, 3)
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, 3)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-ubuntu-20.04-1 Expired
1.66 MB
sha256:4a2178df8652d592ab7d4a1baba9dd9e85a6ca3f5b1bb7177732120df83ae921
integration-test-results-ubuntu-20.04-2 Expired
1.65 MB
sha256:4fe2b9203ecef10094cc3b99b9a219506ad64e6aac63119b4b1ba38ea5fa49c0
integration-test-results-ubuntu-20.04-4 Expired
1.64 MB
sha256:4d9f1968fd80dfe60d6f238e9e32547571f2dffddfb630f16ae728b929ba0178
integration-test-results-ubuntu-20.04-5 Expired
1.65 MB
sha256:74c3c2ed37d195e53e6a43bb5d15973aa6fe2ca719f9cbf2ad837776814d02e8
unit-test-results-macos-13 Expired
9.38 MB
sha256:d622217ff470c50e69d953fc3f95cf9eb7148e9f7e02a8c210edd4d7f50a9cd9
unit-test-results-ubuntu-20.04 Expired
9.41 MB
sha256:00a52578d94f369e49f1d8c7b2860576ee47482a8d4302c802afb1780462721f
unit-test-results-windows-2019 Expired
9.37 MB
sha256:c2cef37a11156660e149ef2a7ec270d3b316340285c5316a42109121c02657e1