Fix: Resolve reveal statement crashes in match cases #20982
fabiomadgemsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
9s
singletons
51s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
18 errors, 7 warnings, and 1 notice
|
xunit-tests / win (1)
Windows Server 2019 has been retired. The Windows Server 2019 image has been removed as of 2025-06-30. For more details, see https://github.com/actions/runner-images/issues/12045
|
|
singletons
Process completed with exit code 2.
|
|
xunit-tests / ubuntu-22.04 (1)
Process completed with exit code 1.
|
|
xunit-tests / ubuntu-22.04 (1):
Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L152
Type or namespace definition, or end-of-file expected
|
|
xunit-tests / ubuntu-22.04 (1):
Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L152
Type or namespace definition, or end-of-file expected
|
|
xunit-tests / osx (1)
Process completed with exit code 1.
|
|
xunit-tests / osx (1):
Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L152
Type or namespace definition, or end-of-file expected
|
|
xunit-tests / osx (1):
Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L152
Type or namespace definition, or end-of-file expected
|
|
integration-tests / test (ubuntu-22.04, 1)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-22.04, 1):
Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L45
Invalid token '}' in class, record, struct, or interface member declaration
|
|
integration-tests / test (ubuntu-22.04, 4)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-22.04, 4):
Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L45
Invalid token '}' in class, record, struct, or interface member declaration
|
|
integration-tests / test (ubuntu-22.04, 3)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-22.04, 3):
Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L45
Invalid token '}' in class, record, struct, or interface member declaration
|
|
integration-tests / test (ubuntu-22.04, 2)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-22.04, 2):
Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L45
Invalid token '}' in class, record, struct, or interface member declaration
|
|
integration-tests / test (ubuntu-22.04, 5)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-22.04, 5):
Source/DafnyCore/AST/Statements/Verification/HideRevealStmt.cs#L45
Invalid token '}' in class, record, struct, or interface member declaration
|
|
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.
|
|
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, 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.
|
|
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, 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-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)
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.
|