Skip to content

chore: Remove misplaced LL(1) resolvers that don't resolve actual conflicts #20959

chore: Remove misplaced LL(1) resolvers that don't resolve actual conflicts

chore: Remove misplaced LL(1) resolvers that don't resolve actual conflicts #20959

Triggered via pull request June 29, 2025 19:01
Status Failure
Total duration 24m 22s
Artifacts 6

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
5s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
4s
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

9 errors, 3 warnings, and 1 notice
integration-tests / test (ubuntu-22.04, 4)
The process '/usr/bin/git' failed with exit code 128
integration-tests / test (ubuntu-22.04, 4)
couldn't find remote ref refs/pull/6288/merge
integration-tests / test (ubuntu-22.04, 4)
couldn't find remote ref refs/pull/6288/merge
integration-tests / test (ubuntu-22.04, 4)
couldn't find remote ref refs/pull/6288/merge
integration-tests / test (ubuntu-22.04, 2)
The process '/usr/bin/git' failed with exit code 128
integration-tests / test (ubuntu-22.04, 2)
couldn't find remote ref refs/pull/6288/merge
integration-tests / test (ubuntu-22.04, 2)
couldn't find remote ref refs/pull/6288/merge
integration-tests / test (ubuntu-22.04, 2)
couldn't find remote ref refs/pull/6288/merge
integration-tests / test (ubuntu-22.04, 1)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.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.
integration-tests / test (ubuntu-22.04, 2)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
singletons
A stable release of a package should not have a prerelease dependency. Either modify the version spec of dependency "System.CommandLine
xunit-tests / win (1)
The windows-2019 runner image is being deprecated, consider switching to windows-2022(windows-latest) or windows-2025 instead. For more details see https://github.com/actions/runner-images/issues/12045.

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-ubuntu-22.04-1 Expired
1.77 MB
sha256:0dbfb19cc90eac7d43a695357c9c6f9928bb3380fae2f23cd9765880cab5941a
integration-test-results-ubuntu-22.04-3 Expired
1.75 MB
sha256:900e3321f57056e0879f3c49024fc9c0d1cb9efd84d204c8471225f756142f89
integration-test-results-ubuntu-22.04-5 Expired
1.76 MB
sha256:cd4b9912adc415fcb0504c6490f513a8ce0df5cfe7612c45d9ea501a65a5fb46
unit-test-results-macos-13 Expired
9.91 MB
sha256:43f062ae7a8fca2a1ccaf3ce242dea1d3872f08d9656e6daf34e8deca0e87e1a
unit-test-results-ubuntu-22.04 Expired
9.95 MB
sha256:3777e95ae6928e92d93459e75d77d6269c2e9fa1ef8557e76af320e24f07fe8e
unit-test-results-windows-2019 Expired
9.91 MB
sha256:ee753984e6bafbd883a3a1967933384300a3e623b7fd4ffcec5ea500e08c2276