Skip to content

chore: Add documentation for using Dafny setup action in CI #21484

chore: Add documentation for using Dafny setup action in CI

chore: Add documentation for using Dafny setup action in CI #21484

Triggered via pull request October 11, 2025 00:06
Status Failure
Total duration 24m 24s
Artifacts 8

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
3s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
2s
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

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:12c63de4abe4f11be8a1b1b1e1922c8d6a05545d1baac8e47d0f5bbd8e2e7ce0
integration-test-results-ubuntu-22.04-2
1.76 MB
sha256:39237e88ef79acc60a4530433cd74e5f31c3a5a01722881c00d81753613dd0e5
integration-test-results-ubuntu-22.04-3
1.75 MB
sha256:4a839b3a1cea3e874c260b446927741ecdddf930e930d080c55f8bbeb38fc4eb
integration-test-results-ubuntu-22.04-4
1.76 MB
sha256:1a0306237b02c905aafaa902b4e57a3f45eabdc0be4931ef99144f54bc09b49e
integration-test-results-ubuntu-22.04-5
1.77 MB
sha256:26a0921dfbcbddf71d1df54e6e4e6e34cf9418e2c50255cff2df9dfe0ccc1b2b
unit-test-results-macos-13
4.15 MB
sha256:5397ebc1c3e7fd0db16f0b32ae458e53cddf741c8fdadff76cd96450290171a8
unit-test-results-ubuntu-22.04
9.95 MB
sha256:ffe7b5c74f2db34f0e653be828cd756407b65c5e7262e0393489176b2d221ad3
unit-test-results-windows-2022
9.92 MB
sha256:144a73235868a5d8b065bbf871d28965fe02781be0bf8a36e754a1da8419ea70