Skip to content
Build and Test

Use CanCall everywhere #19299

Sign in to view logs

Use CanCall everywhere

Use CanCall everywhere #19299

Triggered via pull request October 18, 2024 15:29
@keyboardDrummerkeyboardDrummer
synchronize #5654
RustanLeino:can-call-everywhere
Status Failure
Total duration 30m 40s
Artifacts –

msbuild.yml

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

Annotations

48 errors and 8 warnings
singletons: Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
singletons: Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
singletons: Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
singletons: Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
singletons: Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
singletons: Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
singletons
Process completed with exit code 1.
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
xunit-tests / ubuntu-20.04 (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
xunit-tests / ubuntu-20.04 (1)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 2): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 3): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 4): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 5): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
xunit-tests / win (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
xunit-tests / win (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
xunit-tests / win (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
xunit-tests / win (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
xunit-tests / win (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
xunit-tests / win (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
xunit-tests / win (1)
Process completed with exit code 1.
xunit-tests / osx (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
xunit-tests / osx (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
xunit-tests / osx (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
xunit-tests / osx (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1447
Merge conflict marker encountered
xunit-tests / osx (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1453
Merge conflict marker encountered
xunit-tests / osx (1): Source/DafnyCore/Verifier/BoogieGenerator.Types.cs#L1456
Merge conflict marker encountered
xunit-tests / osx (1)
Process completed with exit code 1.
xunit-tests / ubuntu-20.04 (1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml dafny/DafnyLanguageServer.Test.coverage. No artifacts will be uploaded.
integration-tests / test (ubuntu-20.04, 1)
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-20.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.
integration-tests / test (ubuntu-20.04, 3)
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-20.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-20.04, 5)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml. No artifacts will be uploaded.
xunit-tests / win (1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml dafny/DafnyLanguageServer.Test.coverage. No artifacts will be uploaded.
xunit-tests / osx (1)
No files were found with the provided path: dafny/Source/*/TestResults/*.trx dafny/Source/*/TestResults/*/coverage.cobertura.xml dafny/DafnyLanguageServer.Test.coverage. No artifacts will be uploaded.