Skip to content

Add reduced congruence both branches dead test #11887

Add reduced congruence both branches dead test

Add reduced congruence both branches dead test #11887

Triggered via push October 1, 2024 08:52
Status Failure
Total duration 22m 37s
Artifacts 2

locked.yml

on: push
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.72 MB
suite_result-ubuntu-latest
2.7 MB