Skip to content
locked

CongruenceDomain.sub: Handle case when second operand of subtraction … #12920

Sign in to view logs

CongruenceDomain.sub: Handle case when second operand of subtraction …

CongruenceDomain.sub: Handle case when second operand of subtraction … #12920

Triggered via push February 24, 2025 10:56
@jerhardjerhard
pushed 98977b1
congruence-hardness-unsound-branches
Status Failure
Total duration 5m 37s
Artifacts –

locked.yml

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

Annotations

3 errors and 2 warnings
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 40.
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
Process completed with exit code 40.
gobview (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, 14)
Process completed with exit code 40.
regression (macos-13, ocaml-variants.4.14.2+options,ocaml-option-flambda)
No files were found with the provided path: _build/default/tests/suite_result/. No artifacts will be uploaded.
regression (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda)
No files were found with the provided path: _build/default/tests/suite_result/. No artifacts will be uploaded.