Skip to content

Fix bug in scoping for default arguments #9706

Fix bug in scoping for default arguments

Fix bug in scoping for default arguments #9706

Triggered via pull request February 4, 2025 08:38
Status Cancelled
Total duration 2m 47s
Artifacts

ci.yml

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

Annotations

2 errors
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.