Skip to content

Fix detection of mutual blocks for the positivity checker #9933

Fix detection of mutual blocks for the positivity checker

Fix detection of mutual blocks for the positivity checker #9933

Triggered via pull request March 4, 2025 16:32
Status Failure
Total duration 1h 10m 18s
Artifacts 1

ci.yml

on: pull_request
pre-commit
14s
pre-commit
ormolu
29s
ormolu
build-and-test-linux
1h 10m
build-and-test-linux
build-and-test-macos
0s
build-and-test-macos
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
build-and-test-linux
Process completed with exit code 1.
build-and-test-linux
unnecessary parentheses around `break` value

Artifacts

Produced during runtime
Name Size
juvix-2488819
20.2 MB