Skip to content

Fix bug in scoping for default arguments #9705

Fix bug in scoping for default arguments

Fix bug in scoping for default arguments #9705

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

ci.yml

on: pull_request
pre-commit
9s
pre-commit
ormolu
27s
ormolu
build-and-test-linux
2m 14s
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.