Skip to content

Merge pull request #1884 from goblint/update_suite-parallel #14614

Merge pull request #1884 from goblint/update_suite-parallel

Merge pull request #1884 from goblint/update_suite-parallel #14614

Triggered via push December 1, 2025 10:41
Status Success
Total duration 26m 26s
Artifacts 2

locked.yml

on: push
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.92 MB
sha256:d65469a0649a23b1995a673d26de6bc0557e3071c9dfae82dc1cbcaba03a4412
suite_result-ubuntu-22.04
2.99 MB
sha256:d7304a9317d00480f3c42f17f1498eead1077434b5c4c3b3ed3f4fc70d41b2f8