Skip to content
Juvix Compiler CI

Fix a bug that prevented use of name signature defined after the point #8331

Sign in to view logs

Fix a bug that prevented use of name signature defined after the point

Fix a bug that prevented use of name signature defined after the point #8331

Triggered via pull request September 6, 2024 10:26
@janmasrovirajanmasrovira
synchronize #3001
2999-named-syntax-use-surprisingly-requires-functions-to-be-declared-before-they-are-used
Status Cancelled
Total duration 12s
Artifacts –

ci.yml

on: pull_request
build-and-test-linux
build-and-test-linux
build-and-test-macos
build-and-test-macos
ormolu
ormolu
pre-commit
pre-commit
Fit to window
Zoom out
Zoom in

Annotations

1 error
Juvix Compiler CI
Canceling since a higher priority waiting request for 'Juvix Compiler CI-2999-named-syntax-use-surprisingly-requires-functions-to-be-declared-before-they-are-used' exists