Skip to content
Build and Test

Class Invariants: Resolution and Wellformedness #20926

Sign in to view logs

Class Invariants: Resolution and Wellformedness

Class Invariants: Resolution and Wellformedness #20926

Triggered via pull request June 27, 2025 19:49
@ssomayyajulassomayyajula
synchronize #6255
feat-invariants
Status Cancelled
Total duration 19m 50s
Artifacts 8

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
8s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
3s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
2s
xunit-tests / populate-matrix-dimensions
singletons
58s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
0s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Annotations

10 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 / win (1)
Process completed with exit code 1.
xunit-tests / osx (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.
Build and Test
Canceling since a higher priority waiting request for Build and Test-refs/pull/6255/merge exists
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 / 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.
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.
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:5ca315b5c38515865927797801fdd5f4c55e8545f079a6dadebb17d928daabb0
integration-test-results-ubuntu-22.04-2 Expired
1.82 MB
sha256:4892dd96dcb153a830cb2ce4858386838dae587247ca45f0635d0c9dd8b56f31
integration-test-results-ubuntu-22.04-3 Expired
1.83 MB
sha256:5ed9846396b8b455ad9ddf38b508ec307269ac027e44d4dd17661ad6d612e388
integration-test-results-ubuntu-22.04-4 Expired
1.88 MB
sha256:25973d470885243544ce585cf4d58d8758241290c3b668f7cc708f90cd1e78f4
integration-test-results-ubuntu-22.04-5 Expired
1.83 MB
sha256:e33203f36d3b8a49fa754baf7e95181c42eddefe0977fd89e76d125f02d1ee6f
unit-test-results-macos-13 Expired
4.15 MB
sha256:4cfcb4d9cf20ab0d84142ed6bbf1cf178b26736a0df46a5697550f0ea6efe5c9
unit-test-results-ubuntu-22.04 Expired
4.18 MB
sha256:2e9d2c592da532bf5dd50536fa1fb7d4438bdf084cbf29d895cbba11e49deace
unit-test-results-windows-2019 Expired
4.15 MB
sha256:35a7af27cb268998ba25a4d6e0465dafff714ee7fab31119e6cabc05f1d5274d