Skip to content
locked

emit only non-negative refinementconstraints #12362

Sign in to view logs

emit only non-negative refinementconstraints

emit only non-negative refinementconstraints #12362

Triggered via push December 17, 2024 09:56
@DrMichaelPetterDrMichaelPetter
pushed 6bd7861
affineeq-refine
Status Failure
Total duration 24m 42s
Artifacts 2
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

locked.yml

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

Annotations

3 errors
gobview (ubuntu-22.04, ocaml-variants.4.14.2+options,ocaml-option-flambda, 14)
Process completed with exit code 1.
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.7 MB
sha256:ebca51b76493e95c80f0b72c10ce59d8ce276cecf698be65f4c1d5fd0768f7a1
suite_result-ubuntu-22.04 Expired
2.68 MB
sha256:4f1cebd3e2b44a2f25d09b082dcb0248b8f98507b0ad911b50f654d31d94f284