chore: Add documentation for using Dafny setup action in CI #21501
aosen-xiongmsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
7s
singletons
5m 16s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
1 error and 1 warning
|
xunit-tests / osx (1)
Process completed with exit code 1.
|
|
singletons
A stable release of a package should not have a prerelease dependency. Either modify the version spec of dependency "System.CommandLine
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-22.04-1
|
1.76 MB |
sha256:d3baf238f9786da533d753eed67bde9f9a44563f49355703ecac4283998561d6
|
|
|
integration-test-results-ubuntu-22.04-2
|
1.76 MB |
sha256:c2eee63d000eb205d0d50587cdc935d052760ae625bfaef1ce6963c27059cfd6
|
|
|
integration-test-results-ubuntu-22.04-3
|
1.75 MB |
sha256:c5dab6123a8a3889d99ffb5a0b893bb9d059e21c14966c8cc111f021303dabed
|
|
|
integration-test-results-ubuntu-22.04-4
|
1.76 MB |
sha256:4d8f26f01ca8fd0ccf4d6b82a4edcdac076d9895a8a053b83fe159d1f80b19d1
|
|
|
integration-test-results-ubuntu-22.04-5
|
1.77 MB |
sha256:ca90a475a12b92825d426b226d7bfb949488f738f8c6c25cc1ed7c3ffe64149f
|
|
|
unit-test-results-macos-13
|
4.15 MB |
sha256:1666462bd4a1212108a9287a8435c0f9e8becb6866ba8bc54e374cf1efd837d5
|
|
|
unit-test-results-ubuntu-22.04
|
9.95 MB |
sha256:549599bb4d039445b21bc6dc82c807cd29cdd1c5217554b0b4f3279366ec1432
|
|
|
unit-test-results-windows-2022
|
9.92 MB |
sha256:c65b885e43ae8c210eee5701bee6e93bb1547c853028735593dbdb9282ef3500
|
|