Skip to content

Fix detection of mutual blocks for the positivity checker #9935

Fix detection of mutual blocks for the positivity checker

Fix detection of mutual blocks for the positivity checker #9935

Triggered via pull request March 4, 2025 23:28
Status Failure
Total duration 1h 10m 35s
Artifacts 1

ci.yml

on: pull_request
pre-commit
8s
pre-commit
ormolu
34s
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-18ce217
20.2 MB