Avoid Cil.constFold in Apron invariant generation
#14688
sim642Annotations
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:21c0e2c3c066da49014460821f206034ae7023a1e25c12e54e376e3169d94364
|
|
|
suite_result-ubuntu-22.04
|
3 MB |
sha256:de6fdcda16db235832f2129a6857a0af6838226f7dfa04fefb6c177dad18c48a
|
|