Skip to content

Fix bug in scoping for default arguments #9707

Fix bug in scoping for default arguments

Fix bug in scoping for default arguments #9707

Triggered via pull request February 4, 2025 08:41
Status Cancelled
Total duration 16m 15s
Artifacts

ci.yml

on: pull_request
pre-commit
10s
pre-commit
ormolu
27s
ormolu
build-and-test-linux
16m 5s
build-and-test-linux
build-and-test-macos
0s
build-and-test-macos
Fit to window
Zoom out
Zoom in

Annotations

2 errors and 1 warning
build-and-test-linux
Canceling since a higher priority waiting request for 'Juvix Compiler CI-default-arguments-bug' exists
build-and-test-linux
The operation was canceled.
build-and-test-linux
unnecessary parentheses around `break` value