Skip to content

Counterexamples As Assumptions #17729

Counterexamples As Assumptions

Counterexamples As Assumptions #17729

Triggered via pull request April 9, 2024 17:29
Status Success
Total duration 40m 46s
Artifacts 9

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
6s
check-deep-tests / check-deep-tests
Matrix: xunit-tests / build
integration-tests  /  populate-matrix-dimensions
4s
integration-tests / populate-matrix-dimensions
Matrix: integration-tests / test
test-coverage-analysis
1m 2s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
integration-test-results-ubuntu-20.04-1 Expired
1.5 MB
integration-test-results-ubuntu-20.04-2 Expired
1.51 MB
integration-test-results-ubuntu-20.04-3 Expired
1.51 MB
integration-test-results-ubuntu-20.04-4 Expired
1.51 MB
integration-test-results-ubuntu-20.04-5 Expired
1.51 MB
test-coverage-results Expired
38.3 MB
unit-test-results-macos-11 Expired
8.71 MB
unit-test-results-ubuntu-20.04 Expired
8.76 MB
unit-test-results-windows-2019 Expired
8.7 MB