Skip to content

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

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 #8330

Status Cancelled
Total duration 1m 22s
Artifacts

ci.yml

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

Annotations

2 errors and 2 warnings
build-and-test-linux
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
build-and-test-linux
The operation was canceled.
pre-commit
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/setup-python@v4, actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/
ormolu
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/checkout@v3, actions/cache@v3. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/