Skip to content
Build and Test

feat: Proof refactoring suggestions #19184

Sign in to view logs

feat: Proof refactoring suggestions

feat: Proof refactoring suggestions #19184

Triggered via pull request October 8, 2024 15:26
@fabiomadgefabiomadge
synchronize #5812
fabiomadge:proof_refactoring_suggestions
Status Cancelled
Total duration 28m 43s
Artifacts 8

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
5s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
0s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
0s
xunit-tests / populate-matrix-dimensions
singletons
56s
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
singletons
Process completed with exit code 2.
xunit-tests / ubuntu-20.04 (1)
Process completed with exit code 1.
xunit-tests / win (1)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 2)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 3)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 1)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 4)
Process completed with exit code 1.
integration-tests / test (ubuntu-20.04, 5)
Process completed with exit code 1.
xunit-tests / osx (1)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size Digest
integration-test-results-ubuntu-20.04-1 Expired
1.67 MB
sha256:0402113c78c2f4e6cc4a1fd7847093681e46baf26364dda685b4df078de15050
integration-test-results-ubuntu-20.04-2 Expired
1.67 MB
sha256:16aad20c5807067f2d92d5d54295a437a7bd4f3428dc823e5634eaccbcdfcb83
integration-test-results-ubuntu-20.04-3 Expired
1.67 MB
sha256:13684dee963885d5e321ac6c055c55c190f8fe9b5c022ee277f3ff07c6be23e6
integration-test-results-ubuntu-20.04-4 Expired
1.66 MB
sha256:02ce36f1b0150d9c3d523bb25b7d56ce68e646de8939b8972c32ac5132aa4b78
integration-test-results-ubuntu-20.04-5 Expired
1.68 MB
sha256:3309925119d08a59a9eac00fab93238df8922b9f1a771b95b521de564560093a
unit-test-results-macos-13 Expired
3.92 MB
sha256:3a814d022c66db9158cd6e124e3c75561aa58fc9d754738766a0f76b9faa02d1
unit-test-results-ubuntu-20.04 Expired
3.95 MB
sha256:1d64dbe57db4c9ae356eab30f6b4f5f69d449c5b508c62648ebca96ed84aed27
unit-test-results-windows-2019 Expired
3.92 MB
sha256:4632e0ad24f07283a457dbf8211418124ae276bb407195195e11d7f0205dcaed