Skip to content

Use refresh resolver by default #19505

Use refresh resolver by default

Use refresh resolver by default #19505

Triggered via pull request November 11, 2024 21:19
Status Failure
Total duration 27m 50s
Artifacts 8

msbuild.yml

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

Annotations

18 errors and 15 warnings
singletons
Process completed with exit code 2.
xunit-tests / ubuntu-20.04 (1)
Process completed with exit code 1.
xunit-tests / win (1)
Process completed with exit code 1.
xunit-tests / osx (1)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 5)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
integration-tests / test (ubuntu-20.04, 5)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
integration-tests / test (ubuntu-20.04, 5)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
integration-tests / test (ubuntu-20.04, 5)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
integration-tests / test (ubuntu-20.04, 5)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
integration-tests / test (ubuntu-20.04, 5)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
integration-tests / test (ubuntu-20.04, 5)
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
integration-tests / test (ubuntu-20.04, 5)
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
integration-tests / test (ubuntu-20.04, 5): Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/git-issues/git-issue-3922.cs#L5956
Cannot implicitly convert type 'object' to 'C.Clx<__U>'. An explicit conversion exists (are you missing a cast?)
integration-tests / test (ubuntu-20.04, 5): Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/git-issues/git-issue-3922.cs#L5836
Cannot implicitly convert type 'object' to 'B.Clx'. An explicit conversion exists (are you missing a cast?)
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
xunit-tests / win (1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
xunit-tests / win (1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
xunit-tests / win (1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
xunit-tests / osx (1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
xunit-tests / osx (1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.
xunit-tests / osx (1): Source/DafnyCore/Rewriters/InductionHeuristic.cs#L173
Dereference of a possibly null reference.

Artifacts

Produced during runtime
Name Size
integration-test-results-ubuntu-20.04-1
1.72 MB
integration-test-results-ubuntu-20.04-2
1.72 MB
integration-test-results-ubuntu-20.04-3
1.7 MB
integration-test-results-ubuntu-20.04-4
1.73 MB
integration-test-results-ubuntu-20.04-5
1.72 MB
unit-test-results-macos-13
3.95 MB
unit-test-results-ubuntu-20.04
3.98 MB
unit-test-results-windows-2019
3.95 MB