Chore: Rust refactorings #19131
Triggered via pull request
September 24, 2024 13:03
MikaelMayer
Status
Failure
Total duration
8m 38s
Artifacts
–
msbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
7s
singletons
1m 42s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
90 errors and 8 warnings
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2073
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
singletons:
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2073
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2073
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2073
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2073
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2073
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2073
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / osx (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2073
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L35
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1838
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L1923
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
xunit-tests / win (1):
Source/DafnyCore/GeneratedFromDafny/DCOMP.cs#L2073
The type or namespace name 'Defs' could not be found (are you missing a using directive or an assembly reference?)
|
|
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, 5)
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, 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, 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, 3)
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.
|
|
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.
|