Feat: @-attributes on top-level declarations #19208
MikaelMayermsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
6s
singletons
3m 24s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
48 errors and 10 warnings
|
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.67 MB |
sha256:2d7a862dc3991269b0569ebf9c945f2c1449b05fbc8a84e45393ec3b4aff88d8
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.67 MB |
sha256:13f13db5805500384c3b4011b715640dd3fd5b121a68203a1144bd1415c89e37
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.67 MB |
sha256:1af4e0443c020e963ec16f41e0d1efaf64bd65b8cabd8485dac5a01fdef81733
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.69 MB |
sha256:58bb4f7220a03886635730db6db545c398ef0c5c6226b550d7b64663574a5253
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.67 MB |
sha256:8add38476ae826bae40e13e8a87e7374fb7fd3a697c129c3b910c847ab9638f4
|
|
|
unit-test-results-macos-13
Expired
|
9.4 MB |
sha256:25ecaa79617715f9070a653fa88bd1c7983df2b36cfa3bdd232737fc4cfa1257
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.43 MB |
sha256:7de3b5e5b18a819689f0d07a080c04491384d84963c32bc8b084b46423b488f2
|
|
|
unit-test-results-windows-2019
Expired
|
9.39 MB |
sha256:b8a5b7b2ad7c1469cbc484515f8557e134a23afd60573f67dbcebe0571465ec1
|
|