Feat: @-attributes on top-level declarations #19204
MikaelMayermsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
10s
singletons
53s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
52 errors and 10 warnings
|
singletons
Process completed with exit code 2.
|
|
xunit-tests / ubuntu-20.04 (1)
Process completed with exit code 1.
|
|
xunit-tests / osx (1)
Process completed with exit code 1.
|
|
xunit-tests / win (1)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 2)
'Int32' does not contain a definition for 'MaxValue'
|
|
integration-tests / test (ubuntu-20.04, 2)
'Random' does not contain a definition for 'Next' and no accessible extension method 'Next' accepting a first argument of type 'Random' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
Argument 1: cannot convert from 'System.Int32' to 'int'
|
|
integration-tests / test (ubuntu-20.04, 2)
'Int32' does not contain a definition for 'MaxValue'
|
|
integration-tests / test (ubuntu-20.04, 2)
'Int32' does not contain a definition for 'MinValue'
|
|
integration-tests / test (ubuntu-20.04, 2)
'Int32' does not contain a definition for 'MaxValue'
|
|
integration-tests / test (ubuntu-20.04, 2)
'Int32' does not contain a definition for 'MinValue'
|
|
integration-tests / test (ubuntu-20.04, 2)
'Int32' does not contain a definition for 'MaxValue'
|
|
integration-tests / test (ubuntu-20.04, 2)
'Random' does not contain a definition for 'Next' and no accessible extension method 'Next' accepting a first argument of type 'Random' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
Argument 1: cannot convert from 'System.Int32' to 'int'
|
|
integration-tests / test (ubuntu-20.04, 5)
Missing partial modifier on declaration of type 'AllExtern'; another partial declaration of this type exists
|
|
integration-tests / test (ubuntu-20.04, 5)
Missing partial modifier on declaration of type 'AllExtern'; another partial declaration of this type exists
|
|
integration-tests / test (ubuntu-20.04, 5)
Missing partial modifier on declaration of type 'AllExtern'; another partial declaration of this type exists
|
|
integration-tests / test (ubuntu-20.04, 5)
Missing partial modifier on declaration of type 'AllExtern'; another partial declaration of this type exists
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/Extern2.cs#L41
Missing partial modifier on declaration of type 'AllExtern'; another partial declaration of this type exists
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/Extern2.cs#L41
Missing partial modifier on declaration of type 'AllExtern'; another partial declaration of this type exists
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/Extern2.cs#L41
Missing partial modifier on declaration of type 'AllExtern'; another partial declaration of this type exists
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/Extern2.cs#L41
Missing partial modifier on declaration of type 'AllExtern'; another partial declaration of this type exists
|
|
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 1)
'C2' does not implement interface member 'T2.m2_ext()'
|
|
integration-tests / test (ubuntu-20.04, 1)
'C2' does not implement interface member 'T2.m2_ext()'
|
|
integration-tests / test (ubuntu-20.04, 1)
'C2' does not implement interface member 'T2.m2_ext()'
|
|
integration-tests / test (ubuntu-20.04, 1)
'C2' does not implement interface member 'T2.m2_ext()'
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/ExternCopyFromTrait.cs#L5767
'C2' does not implement interface member 'T2.m2_ext()'
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/ExternCopyFromTrait.cs#L5767
'C2' does not implement interface member 'T2.m2_ext()'
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/ExternCopyFromTrait.cs#L5767
'C2' does not implement interface member 'T2.m2_ext()'
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/ExternCopyFromTrait.cs#L5767
'C2' does not implement interface member 'T2.m2_ext()'
|
|
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 4)
'Class1' does not contain a definition for 'Fun1x'
|
|
integration-tests / test (ubuntu-20.04, 4)
'Class1' does not contain a definition for 'Method1x'
|
|
integration-tests / test (ubuntu-20.04, 4)
'Class1' does not contain a definition for 'Fun1x'
|
|
integration-tests / test (ubuntu-20.04, 4)
'Class1' does not contain a definition for 'Method1x'
|
|
integration-tests / test (ubuntu-20.04, 4)
'Class1' does not contain a definition for 'Fun1x'
|
|
integration-tests / test (ubuntu-20.04, 4)
'Class1' does not contain a definition for 'Method1x'
|
|
integration-tests / test (ubuntu-20.04, 4)
'Class1' does not contain a definition for 'Fun1x'
|
|
integration-tests / test (ubuntu-20.04, 4)
'Class1' does not contain a definition for 'Method1x'
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/ExternDLL.cs#L5787
'Class1' does not contain a definition for 'Fun1x'
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/ExternDLL.cs#L5793
'Class1' does not contain a definition for 'Method1x'
|
|
integration-tests / test (ubuntu-20.04, 3)
'ABC' does not contain a definition for 'y' and no accessible extension method 'y' accepting a first argument of type 'ABC' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3)
'ABC' does not contain a definition for 'y' and no accessible extension method 'y' accepting a first argument of type 'ABC' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3)
'XYZ' does not contain a constructor that takes 1 arguments
|
|
integration-tests / test (ubuntu-20.04, 3)
'ABC' does not contain a definition for 'y' and no accessible extension method 'y' accepting a first argument of type 'ABC' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3)
'ABC' does not contain a definition for 'y' and no accessible extension method 'y' accepting a first argument of type 'ABC' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3)
'XYZ' does not contain a constructor that takes 1 arguments
|
|
integration-tests / test (ubuntu-20.04, 3)
'ABC' does not contain a definition for 'y' and no accessible extension method 'y' accepting a first argument of type 'ABC' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3)
'ABC' does not contain a definition for 'y' and no accessible extension method 'y' accepting a first argument of type 'ABC' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 3)
'XYZ' does not contain a constructor that takes 1 arguments
|
|
integration-tests / test (ubuntu-20.04, 3)
'ABC' does not contain a definition for 'y' and no accessible extension method 'y' accepting a first argument of type 'ABC' could be found (are you missing a using directive or an assembly reference?)
|
|
integration-tests / test (ubuntu-20.04, 2)
The type 'Random' in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs' conflicts with the imported type 'Random' in 'System.Runtime, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2)
The type 'Random' in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs' conflicts with the imported type 'Random' in 'System.Runtime, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2)
The type 'Random' in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs' conflicts with the imported type 'Random' in 'System.Runtime, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2)
The type 'Int32' in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs' conflicts with the imported type 'int' in 'System.Runtime, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2)
The type 'Int32' in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs' conflicts with the imported type 'int' in 'System.Runtime, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2)
The type 'Int32' in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs' conflicts with the imported type 'int' in 'System.Runtime, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2)
The type 'Int32' in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs' conflicts with the imported type 'int' in 'System.Runtime, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2)
The type 'Int32' in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs' conflicts with the imported type 'int' in 'System.Runtime, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs'.
|
|
integration-tests / test (ubuntu-20.04, 2)
Unreachable code detected
|
|
integration-tests / test (ubuntu-20.04, 2)
The type 'Int32' in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs' conflicts with the imported type 'int' in 'System.Runtime, Version=6.0.0.0, Culture=neutral, PublicKeyToken=b03f5f7f11d50a3a'. Using the type defined in '/home/runner/work/dafny/dafny/dafny/Source/IntegrationTests/bin/Debug/net6.0/TestFiles/LitTests/LitTest/comp/replaceables/complex/Build1/build.cs'.
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.66 MB |
sha256:b45237c9d8674bd8809fe324c0b45fffb118b600b71ef6e3c4a68117239e1c70
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.66 MB |
sha256:2731242002ba59d23f5669ca75f4a87904929742d4af0ce7354e1450c7e1633a
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.67 MB |
sha256:e1ed168796f1f3ce659f2bb16bb5eba759c88022321057f61462fad087e1742f
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.69 MB |
sha256:2669f364be48d1cf7934488847775d6de03bc9d2c8d1cfa7a91d983c73c59cd4
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.67 MB |
sha256:49d57166b5f37461985deb102c94ceccf0f1f56a151d62e4d438ee197f0ab366
|
|
|
unit-test-results-macos-13
Expired
|
3.92 MB |
sha256:b76f7ca4f10f3950c0a7cebeb58214e76973920d2777edc5328616c7016a33de
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
3.95 MB |
sha256:c065f722991cbb81746555f058c2bb983faa2497d7c14702a98d40c0e787d1d5
|
|
|
unit-test-results-windows-2019
Expired
|
3.92 MB |
sha256:4d3706b33f69d87ebb09a8bd8db2e9007a001eaa1d317c0d55ee5fb5b8ef8fd2
|
|