Skip to content
locked

Unsound congruence domain arithmetic #12779

Sign in to view logs

Unsound congruence domain arithmetic

Unsound congruence domain arithmetic #12779

Triggered via pull request February 13, 2025 08:56
@jerhardjerhard
synchronize #1587
congruence-hardness-unsound-branches
Status Failure
Total duration 20m 34s
Artifacts 2

locked.yml

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

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.75 MB
sha256:b754b6f0628946c930592872d51aa246e85631bf27b7aa07595d0788517a31b7
suite_result-ubuntu-22.04 Expired
2.78 MB
sha256:50dcd647dc134ceed6485a28235b1e3e4de765387bb1dc2a6b2ea98e2e9fcfb8