Add test for sub operation for congruence. #12930
locked.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.8 MB |
sha256:bd6e81cd81f940cca2b2426bdde6e54086794a5e9116694df1808bb7a74995f6
|
|
|
suite_result-ubuntu-22.04
Expired
|
2.83 MB |
sha256:bb1d9baa6bd9c0c76b013a9e4eff5688301089704209702e4209cc6dba354409
|
|