Skip to content
locked

Violation witness feasibility analysis using Witch #14632

Sign in to view logs

Violation witness feasibility analysis using Witch

Violation witness feasibility analysis using Witch #14632

Triggered via pull request December 1, 2025 15:16
@karoliinehkaroliineh
synchronize #1882
violation_witnesses
Status Success
Total duration 21m 21s
Artifacts 2

locked.yml

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

Annotations

1 notice
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:0a70244ee8654d21afa72305c8c49df7de242fe49f055d0ce3900d6f4cda4ca7
suite_result-ubuntu-22.04
3 MB
sha256:1681de8f99f337c611e637986c6878683ea563c34969456a5a5b1aa49a5aadc5