Fix: Factorization of all paths in the generated Rust AST #19090
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
8s
singletons
3m 24s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
2 errors and 1 warning
|
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 1.
|
|
xunit-tests / win (1)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 4)
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.63 MB |
sha256:8c470bd6b176b002447fc81036a9af2f3c14fb447cd66fba3bb5843a9f87b3a2
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.63 MB |
sha256:5e5307a05acff87a2f3804f31b6243e2cb0d199d33d4b18759c7f1898afd75a2
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.65 MB |
sha256:3bc9c13b7dabe86389cf9752662622bdf14e59ab63a332d9212ae2372ade8a92
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.64 MB |
sha256:e9d95167aaa916231ec18e30461ad2aa875337ab9fa868f2db4881ca21434d3f
|
|
|
unit-test-results-macos-13
Expired
|
9.33 MB |
sha256:0dad962f5f7967dda14d7dda909d43401c8e879fbaefac96ab66395723828f57
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.35 MB |
sha256:f10fcef39cc88184b2481bf502b2beba829b913230734a1880d0ffcd9649afcc
|
|
|
unit-test-results-windows-2019
Expired
|
3.88 MB |
sha256:8c7104ee7fab29b36c5069806e6ab7488715e67b4ffe7ad3695a956fda3b52ea
|
|