Add test case for unreached fixpoint due to bug in congruences showin… #12928
jerhardlocked.yml
on: push
Matrix: extraction
Matrix: gobview
Matrix: regression
Annotations
2 errors
|
regression (ubuntu-22.04, 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 | Digest | |
|---|---|---|---|
|
suite_result-macos-13
Expired
|
2.85 MB |
sha256:041da710f1b6338a6fdeb13ba93a99182d8df27892988ee407feb001980e08ab
|
|
|
suite_result-ubuntu-22.04
Expired
|
2.83 MB |
sha256:d75f433f8545d6d4c3f1ff16df3a7d5be98ee219d754f8e3de7f440efbc5372a
|
|