Skip to content
Build and Test

Fix #1461 Add a reflexivity axiom for $HeapSucc #20881

Sign in to view logs

Fix #1461 Add a reflexivity axiom for $HeapSucc

Fix #1461 Add a reflexivity axiom for $HeapSucc #20881

Triggered via pull request June 11, 2025 22:36
@samuelchassotsamuelchassot
synchronize #6260
samuelchassot:sam/fix1461
Status Failure
Total duration 26m 5s
Artifacts 8

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
9s
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
singletons
4m 35s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

5 errors, 1 warning, and 1 notice
xunit-tests / ubuntu-22.04 (1)
Process completed with exit code 1.
xunit-tests / osx (1)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 2)
Process completed with exit code 1.
xunit-tests / win (1)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 5)
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
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:1b10d5e30028492b3ab2dbd253d1325b63f76ff61a47e8571b36e2eaf76ddd15
integration-test-results-ubuntu-22.04-2 Expired
1.75 MB
sha256:4c4bd1866b69e0b00ca2c007756ced6fe1702977e34708c72f8eb4fd869aa7ea
integration-test-results-ubuntu-22.04-3 Expired
1.76 MB
sha256:45436cfeedb5fc0360a3b2f627c524e896d3fecd65f66c143bacd261a5257464
integration-test-results-ubuntu-22.04-4 Expired
1.76 MB
sha256:72d345611c07e337dd2776852e26d27917899bcd522e21719df088f0d15e4660
integration-test-results-ubuntu-22.04-5 Expired
1.77 MB
sha256:17c4758ab69322b49883e2397e6605dbf498265b67c177f5dbac0eb6a9827854
unit-test-results-macos-13 Expired
7.02 MB
sha256:a2c986ef5f33c9f31160362cd4e5cfca2691ed668610e5f6972a58ce20905247
unit-test-results-ubuntu-22.04 Expired
7.05 MB
sha256:935f391c8e7cf2a546d8861f0483044f804ab749ab8e787b59557cdff20f52fa
unit-test-results-windows-2019 Expired
7.02 MB
sha256:5138939efe78210685183604d640a271a2ef0db8b571d41d5ab70700a44e93c0