Skip to content

Remove __annonCompField offsets from witness invariants #14473

Remove __annonCompField offsets from witness invariants

Remove __annonCompField offsets from witness invariants #14473

Triggered via push November 12, 2025 10:31
Status Success
Total duration 24m 42s
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 Expired
3 MB
sha256:af020d5a2be7bb43d3eb695fd8c8104899dad142cf280973a2ec0f5710130f18
suite_result-ubuntu-22.04 Expired
3.02 MB
sha256:fbebba0609c3a05717cbbe8774769c4a4290aa29205e19402bac5ae11f85a00b