Skip to content

Update juvix-stdlib to main #9837

Update juvix-stdlib to main

Update juvix-stdlib to main #9837

Triggered via pull request February 18, 2025 16:14
Status Cancelled
Total duration 10m 47s
Artifacts

ci.yml

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

Annotations

2 errors and 1 warning
build-and-test-linux
Canceling since a higher priority waiting request for 'Juvix Compiler CI-update-stdlib' exists
build-and-test-linux
The operation was canceled.
build-and-test-linux
unnecessary parentheses around `break` value