Fix: Factorization of all paths in the generated Rust AST #19073
MikaelMayer
This run and associated checks have been archived and are scheduled for deletion.
Learn more about checks retention
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
5s
singletons
3m 30s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
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, 5)
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.64 MB |
sha256:1b66c308ce898c72dacf4ff8100e8631a97502a1f224a84bb16b1d3db6c9526e
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.64 MB |
sha256:e341fc438a5e57c3c5912b3e27ca883eaee79c785e787abbbee7f7adf2a3b749
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.63 MB |
sha256:fb694c81bea0710ffb165dcf809e98a861f8371256bd110e40349112152c0692
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.64 MB |
sha256:8d26c141a2c34e74b871fe1d64ba9dad6a94e59ad071d5f1367e7611137cab88
|
|
|
unit-test-results-macos-13
Expired
|
9.31 MB |
sha256:5e5d6a73b35371b12244840ef1693d881270b1ef65d46598b782ec5d07a5e401
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.33 MB |
sha256:dd435fa1c0dcda50d6ca343017b764a5def67dec7e4425b3effbe8b0ae3ee20e
|
|
|
unit-test-results-windows-2019
Expired
|
9.3 MB |
sha256:a1047cc1a6504705b70367fb27965524935b0e658b2e17e96b60c214bb2de50c
|
|