Feat: @-attributes on top-level declarations #19212
MikaelMayermsbuild.yml
on: pull_request
check-deep-tests
/
check-deep-tests
5s
singletons
3m 32s
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
Annotations
2 errors and 23 warnings
|
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
|
|
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 1.
|
|
singletons:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
singletons:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
singletons:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
singletons:
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / ubuntu-20.04 (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
integration-tests / test (ubuntu-20.04, 1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / win (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / win (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / win (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
integration-tests / test (ubuntu-20.04, 3):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
integration-tests / test (ubuntu-20.04, 2):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
integration-tests / test (ubuntu-20.04, 5):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
integration-tests / test (ubuntu-20.04, 4):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / osx (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / osx (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
|
xunit-tests / osx (1):
Source/DafnyCore/Parser.cs#L389
The variable 'attrs' is assigned but its value is never used
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
integration-test-results-ubuntu-20.04-1
Expired
|
1.65 MB |
sha256:33b63872b5cbb7aab907a16b6218d4dc71a6a871b611dbd3676a31c5e2c45eb3
|
|
|
integration-test-results-ubuntu-20.04-2
Expired
|
1.66 MB |
sha256:5d3eabcf8484911f88424f3ad5ca571d60f86cb8b2e68ba5bb0766a14cd5b639
|
|
|
integration-test-results-ubuntu-20.04-3
Expired
|
1.65 MB |
sha256:95f05d9d561e78901545b8c58a0e2a687c3c327b97c1b077e1eda8cebe79af5b
|
|
|
integration-test-results-ubuntu-20.04-4
Expired
|
1.67 MB |
sha256:05a51f5d81efab9d50973e4e7540d140372e8bd52f6b79f63fa78a5bf7a6c769
|
|
|
integration-test-results-ubuntu-20.04-5
Expired
|
1.68 MB |
sha256:4a72a86084f90195281a6ec1bbbc3bf43e68b86c271473a372e0c289cfbb8fd9
|
|
|
unit-test-results-macos-13
Expired
|
9.4 MB |
sha256:6f4b758ef5c148511db64934628ae6135482ce7e8f893706861348ddf4574a60
|
|
|
unit-test-results-ubuntu-20.04
Expired
|
9.43 MB |
sha256:fb53e446571043c961f3ecff647066b77fdf3f932c689b6c57844ca2786f4928
|
|
|
unit-test-results-windows-2019
Expired
|
9.39 MB |
sha256:8c12e7640f56dcb35688eda9342137e471faa8db87681096b761d3bc3175303c
|
|