Skip to content
locked

Minimize unnecessary casts and check for overflows in witness invariants #14401

Sign in to view logs

Minimize unnecessary casts and check for overflows in witness invariants

Minimize unnecessary casts and check for overflows in witness invariants #14401

Triggered via pull request November 6, 2025 14:35
@sim642sim642
synchronize #1665
invariant-check-oveflows
Status Success
Total duration 20m 11s
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 Expired
2.97 MB
sha256:9258b950d4308510a7e3c031a1edfbe16718048c3f62d17a102e97aa3f11eec2
suite_result-ubuntu-22.04 Expired
3 MB
sha256:73103ef52cae742fade213b2ebc46f9db82cac1ec1aa63cf17b571bf5cb7c596