Skip to content
locked

Try to fix sv-benchmarks termination-restricted-15/IntPath Apron normalization #11876

Sign in to view logs

Try to fix sv-benchmarks termination-restricted-15/IntPath Apron normalization

Try to fix sv-benchmarks termination-restricted-15/IntPath Apron normalization #11876

Triggered via pull request September 30, 2024 08:36
@sim642sim642
opened #1585
issue-1576-reduce-int
Status Failure
Total duration 25m 26s
Artifacts 2

locked.yml

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

Annotations

2 errors
regression (ubuntu-latest, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 1.
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 1.

Artifacts

Produced during runtime
Name Size
suite_result-macos-13
2.9 MB
suite_result-ubuntu-latest
2.88 MB