Skip to content
locked

Violation witness feasibility analysis using Witch #14603

Sign in to view logs

Violation witness feasibility analysis using Witch

Violation witness feasibility analysis using Witch #14603

Triggered via pull request November 28, 2025 14:07
@karoliinehkaroliineh
synchronize #1882
violation_witnesses
Status Failure
Total duration 20m 30s
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:72f7744040d4000a953a2877ab946d87f82ec4b6eb4b65819bf437b8cb6a1f35
suite_result-ubuntu-22.04
3 MB
sha256:f7c4a55bd14cc4d562903b570cd09b591f0cec2d64120c22a68892ada336c6c2