Skip to content

Fix set extensionality issue with havoc assignments (#6304) #21070

Fix set extensionality issue with havoc assignments (#6304)

Fix set extensionality issue with havoc assignments (#6304) #21070

Triggered via pull request July 10, 2025 19:10
Status Failure
Total duration 26m 6s
Artifacts 8

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
7s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
3s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
3s
xunit-tests / populate-matrix-dimensions
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

4 errors and 1 warning
integration-tests / test (ubuntu-22.04, 1)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 5)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 3)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 2)
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 Expired
1.77 MB
sha256:9250fe158003bcf6bc5fc4f89455d4e7e1c7d436ef55228582a9e3173423d512
integration-test-results-ubuntu-22.04-2 Expired
1.76 MB
sha256:224a72f7d1d8b6367954e01eb201aefa77d48f91f91e0571577fb411b6df4d7e
integration-test-results-ubuntu-22.04-3 Expired
1.76 MB
sha256:89963948bda76224b199eaf8b184b3cd713ca41dd773e619bd6c4777492bbb27
integration-test-results-ubuntu-22.04-4 Expired
1.76 MB
sha256:38b86300ed4cd02785936a413fd6366d956a3394e23f42a8c5d9493c270cfe48
integration-test-results-ubuntu-22.04-5 Expired
1.76 MB
sha256:37a2992016d6f4bd424ad2a277c8ce633d78e183a33649c7721e3cbd7f7f35f7
unit-test-results-macos-13 Expired
9.92 MB
sha256:9e449642b0b39631e51d2af3517888c9ea420508dbb782ebeed73d183b2aa44b
unit-test-results-ubuntu-22.04 Expired
9.95 MB
sha256:dd48a76364afafcfca727a461f0a8195eb0e9450b081b191a098027c3a69dd7f
unit-test-results-windows-2022 Expired
9.92 MB
sha256:c57edefdcf2dc7423f1bb1eb864f54d47625d13e655611193da9e989ef76a640