Skip to content
locked

Add comment to test that assert was required to expose fixpoint error. #12934

Sign in to view logs

Add comment to test that assert was required to expose fixpoint error.

Add comment to test that assert was required to expose fixpoint error. #12934

Triggered via push February 24, 2025 16:09
@jerhardjerhard
pushed 7a3d072
congruence-hardness-unsound-branches
Status Success
Total duration 30m 26s
Artifacts 2

locked.yml

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

Artifacts

Produced during runtime
Name Size Digest
suite_result-macos-13 Expired
2.84 MB
sha256:ac754f3e7c64d9a8435729b3cc5c1eba6e6d629b5b3832f6a114543a3b30eec6
suite_result-ubuntu-22.04 Expired
2.83 MB
sha256:7bcd23ad7f010aea9204c4cd7cfb294498dfd40338bfb17d8de3ab17c9d65cbf