Skip to content

Double substitute the Nockma functions placeholder in the main function #6802

Double substitute the Nockma functions placeholder in the main function

Double substitute the Nockma functions placeholder in the main function #6802

Triggered via pull request April 10, 2024 09:12
Status Cancelled
Total duration 41s
Artifacts

ci.yml

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

Annotations

6 errors and 1 warning
ormolu
Canceling since a higher priority waiting request for 'Juvix Compiler CI-funcs-lib-subst' exists
ormolu
The operation was canceled.
build-and-test-linux
Canceling since a higher priority waiting request for 'Juvix Compiler CI-funcs-lib-subst' exists
build-and-test-linux
The operation was canceled.
build-and-test-macos
Canceling since a higher priority waiting request for 'Juvix Compiler CI-funcs-lib-subst' exists
build-and-test-macos
The operation was canceled.
pre-commit
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/checkout@v3, actions/setup-python@v4, actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.