Skip to content
Build and Test

Type parameters #20921

Sign in to view logs

Type parameters

Type parameters #20921

Triggered via pull request June 26, 2025 12:53
@keyboardDrummerkeyboardDrummer
opened #6284
keyboardDrummer:typeParameters
Status Failure
Total duration 4m 41s
Artifacts –

msbuild.yml

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

Annotations

90 errors, 8 warnings, and 1 notice
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Parser.cs#L2471
The name 'cce' does not exist in the current context
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Parser.cs#L2470
The name 'cce' does not exist in the current context
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Parser.cs#L2469
The name 'cce' does not exist in the current context
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Parser.cs#L2291
The name 'cce' does not exist in the current context
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Parser.cs#L1805
The name 'cce' does not exist in the current context
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Parser.cs#L1763
The name 'cce' does not exist in the current context
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Parser.cs#L1188
The name 'cce' does not exist in the current context
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Parser.cs#L1159
The name 'cce' does not exist in the current context
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Parser.cs#L1121
The name 'cce' does not exist in the current context
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/Parser.cs#L752
The name 'cce' does not exist in the current context
singletons: Source/DafnyCore/Parser.cs#L2471
The name 'cce' does not exist in the current context
singletons: Source/DafnyCore/Parser.cs#L2470
The name 'cce' does not exist in the current context
singletons: Source/DafnyCore/Parser.cs#L2469
The name 'cce' does not exist in the current context
singletons: Source/DafnyCore/Parser.cs#L2291
The name 'cce' does not exist in the current context
singletons: Source/DafnyCore/Parser.cs#L1805
The name 'cce' does not exist in the current context
singletons: Source/DafnyCore/Parser.cs#L1763
The name 'cce' does not exist in the current context
singletons: Source/DafnyCore/Parser.cs#L1188
The name 'cce' does not exist in the current context
singletons: Source/DafnyCore/Parser.cs#L1159
The name 'cce' does not exist in the current context
singletons: Source/DafnyCore/Parser.cs#L1121
The name 'cce' does not exist in the current context
singletons: Source/DafnyCore/Parser.cs#L752
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Parser.cs#L2471
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Parser.cs#L2470
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Parser.cs#L2469
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Parser.cs#L2291
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Parser.cs#L1805
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Parser.cs#L1763
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Parser.cs#L1188
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Parser.cs#L1159
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Parser.cs#L1121
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/Parser.cs#L752
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Parser.cs#L2471
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Parser.cs#L2470
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Parser.cs#L2469
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Parser.cs#L2291
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Parser.cs#L1805
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Parser.cs#L1763
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Parser.cs#L1188
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Parser.cs#L1159
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Parser.cs#L1121
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/Parser.cs#L752
The name 'cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Parser.cs#L2471
The name 'cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Parser.cs#L2470
The name 'cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Parser.cs#L2469
The name 'cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Parser.cs#L2291
The name 'cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Parser.cs#L1805
The name 'cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Parser.cs#L1763
The name 'cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Parser.cs#L1188
The name 'cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Parser.cs#L1159
The name 'cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Parser.cs#L1121
The name 'cce' does not exist in the current context
xunit-tests / osx (1): Source/DafnyCore/Parser.cs#L752
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Parser.cs#L2471
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Parser.cs#L2470
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Parser.cs#L2469
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Parser.cs#L2291
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Parser.cs#L1805
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Parser.cs#L1763
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Parser.cs#L1188
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Parser.cs#L1159
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Parser.cs#L1121
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/Parser.cs#L752
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Parser.cs#L2471
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Parser.cs#L2470
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Parser.cs#L2469
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Parser.cs#L2291
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Parser.cs#L1805
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Parser.cs#L1763
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Parser.cs#L1188
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Parser.cs#L1159
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Parser.cs#L1121
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/Parser.cs#L752
The name 'cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Parser.cs#L2471
The name 'cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Parser.cs#L2470
The name 'cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Parser.cs#L2469
The name 'cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Parser.cs#L2291
The name 'cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Parser.cs#L1805
The name 'cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Parser.cs#L1763
The name 'cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Parser.cs#L1188
The name 'cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Parser.cs#L1159
The name 'cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Parser.cs#L1121
The name 'cce' does not exist in the current context
xunit-tests / win (1): Source/DafnyCore/Parser.cs#L752
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Parser.cs#L2471
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Parser.cs#L2470
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Parser.cs#L2469
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Parser.cs#L2291
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Parser.cs#L1805
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Parser.cs#L1763
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Parser.cs#L1188
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Parser.cs#L1159
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Parser.cs#L1121
The name 'cce' does not exist in the current context
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/Parser.cs#L752
The name 'cce' does not exist in the current context
xunit-tests / ubuntu-22.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-22.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-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.
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.
integration-tests / test (ubuntu-22.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-22.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.
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.
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.