Skip to content
locked

Violation witness feasibility analysis using Witch #14628

Sign in to view logs

Violation witness feasibility analysis using Witch

Violation witness feasibility analysis using Witch #14628

Triggered via pull request December 1, 2025 12:22
@karoliinehkaroliineh
synchronize #1882
violation_witnesses
Status Failure
Total duration 20m 41s
Artifacts 2

locked.yml

on: pull_request
Matrix: extraction
Matrix: regression
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 notice
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 1.
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
The macOS-13 based runner images are being deprecated, consider switching to macOS-15 (macos-15-intel) or macOS 15 arm64 (macos-latest) instead. For more details see https://github.com/actions/runner-images/issues/13046

Artifacts

Produced during runtime
Name Size Digest
suite_result-macos-13
2.98 MB
sha256:1f7ec96c0e2ad797a23278ea5298e4a921d00838825749c6e236f426739aa154
suite_result-ubuntu-22.04
2.95 MB
sha256:f1f425ab3f31a866165368dddefba2170dea927ccd594111952cb33e41edfbc8