Skip to content
Build and Test

Class Invariants: Resolution and Wellformedness #20927

Sign in to view logs

Class Invariants: Resolution and Wellformedness

Class Invariants: Resolution and Wellformedness #20927

Triggered via pull request June 27, 2025 20:06
@ssomayyajulassomayyajula
synchronize #6255
feat-invariants
Status Failure
Total duration 23m 47s
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
3s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
3s
xunit-tests / populate-matrix-dimensions
singletons
1m 9s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

9 errors, 15 warnings, and 1 notice
singletons
Process completed with exit code 2.
xunit-tests / ubuntu-22.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-22.04, 5)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 1)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 3)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 2)
Process completed with exit code 1.
integration-tests / test (ubuntu-22.04, 4)
Process completed with exit code 1.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / ubuntu-22.04 (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / osx (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / osx (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / osx (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / win (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / win (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / win (1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
integration-tests / test (ubuntu-22.04, 5): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
integration-tests / test (ubuntu-22.04, 1): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
integration-tests / test (ubuntu-22.04, 3): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
integration-tests / test (ubuntu-22.04, 2): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
integration-tests / test (ubuntu-22.04, 4): Source/DafnyCore/AST/Members/MemberDecl.cs#L157
Cannot convert null literal to non-nullable reference type.
xunit-tests / win (1)
The windows-2019 runner image is being deprecated, consider switching to windows-2022(windows-latest) or windows-2025 instead. For more details see https://github.com/actions/runner-images/issues/12045.

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-ubuntu-22.04-1 Expired
1.8 MB
sha256:ae300ec237cbf16dd1f4a87a21240daf00bc66a0d6e73c5884b0a352ceee11e6
integration-test-results-ubuntu-22.04-2 Expired
1.82 MB
sha256:0b446e7bbc9a33909c42ea6c07a7436c1cc5a56ce77a9c4b7d50b788c5b3ae31
integration-test-results-ubuntu-22.04-3 Expired
1.83 MB
sha256:7dc81785191d3af82caa0f6e3575b9756ca95698a420ef1855a0e29433ba835d
integration-test-results-ubuntu-22.04-4 Expired
1.88 MB
sha256:e60126cd03ad488209206465d4ac1a3a3a54e260141015ddd085717d55a39b5a
integration-test-results-ubuntu-22.04-5 Expired
1.82 MB
sha256:7b7a8901943a89b948a1a1b768438985dbad753f5399b2b1879fdf08015f65bb
unit-test-results-macos-13 Expired
4.15 MB
sha256:52211a7b66ca5b086be890ccfa1b1f314d7d15f884ded4a35fd00befcd2d253a
unit-test-results-ubuntu-22.04 Expired
4.18 MB
sha256:05b210755c4642be59b28467a4953b72f74450baac9b173d8c948fba9e6b5480
unit-test-results-windows-2019 Expired
4.15 MB
sha256:2b8a7185132f1abd1f1300eddccdb26a7a52d7d8e3900f4ebd236bd3a0bd8f43