Skip to content
Build and Test

Feat: @-attributes on top-level declarations #19213

Sign in to view logs

Feat: @-attributes on top-level declarations

Feat: @-attributes on top-level declarations #19213

Triggered via pull request October 10, 2024 21:35
@MikaelMayerMikaelMayer
synchronize #5825
feat-at-attributes-1
Status Failure
Total duration 27m 46s
Artifacts 8

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
9s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
5s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
0s
xunit-tests / populate-matrix-dimensions
singletons
53s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

3 errors and 19 warnings
singletons
Process completed with exit code 2.
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.
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
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
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
integration-tests / test (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, 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

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-ubuntu-20.04-1 Expired
1.65 MB
sha256:9d31ef02790c70460e8df17ac86006e8d92da3775b3533d45e9ddfbe7ea2a6b6
integration-test-results-ubuntu-20.04-2 Expired
1.66 MB
sha256:e55ac0763058796e8d1fdaf0773f7325563e42953973ffbc9c363d98d02716f6
integration-test-results-ubuntu-20.04-3 Expired
1.65 MB
sha256:018f6b075db33de7815bc62200970d769c4d73616ee9a99f4ea8cb4ff270a45b
integration-test-results-ubuntu-20.04-4 Expired
1.67 MB
sha256:38801ebc7bedf4753d5357f4d833340bb97f3c5d7a53a92e5288ed622e4c04b6
integration-test-results-ubuntu-20.04-5 Expired
1.68 MB
sha256:0b2d10d07d539650844cd8246e185614d439315290ce0496992167bd2988927d
unit-test-results-macos-13 Expired
9.4 MB
sha256:966771b976c9ecda47e4adc71e5d4a80f347440a03349f81f30e05d8649cdd76
unit-test-results-ubuntu-20.04 Expired
9.43 MB
sha256:4cf833fd6fd89a18bfeccb627064259912b46ae0fb05141ba9ca3646939e4c79
unit-test-results-windows-2019 Expired
9.4 MB
sha256:86f205f52e89e8ffa79dc22fd8b1c4f63daba3f497b173f80604302fd3ee9c55