Skip to content
Back to pull request #6367

fix: Fix antecedent in induction hypothesis #21451

Sign in to view logs

fix: Fix antecedent in induction hypothesis

fix: Fix antecedent in induction hypothesis #21451

Re-run triggered September 26, 2025 17:38
@RustanLeinoRustanLeino
#6367
RustanLeino:issue-6366
Status Success
Total duration 35m 32s
Artifacts 10

msbuild.yml

on: pull_request
check-deep-tests  /  check-deep-tests
13s
check-deep-tests / check-deep-tests
integration-tests  /  populate-matrix-dimensions
3s
integration-tests / populate-matrix-dimensions
xunit-tests  /  populate-matrix-dimensions
4s
xunit-tests / populate-matrix-dimensions
singletons
5m 27s
singletons
Matrix: integration-tests / test
Matrix: xunit-tests / build
test-coverage-analysis
1m 16s
test-coverage-analysis
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
test-coverage-results
36.3 MB
sha256:29fece972e6da73ffb836254666a6384457f4f129a81a3fc72fdec04cba8bcf1
unit-test-results-macos-13
9.93 MB
sha256:844958ac1290bbc92a3457d305ee311b458084bcd5f0fae4937e1703497dacfe