Skip to content

Add dependent defaults for the new typechecker #5807

Add dependent defaults for the new typechecker

Add dependent defaults for the new typechecker #5807

Triggered via pull request November 28, 2023 17:59
Status Cancelled
Total duration 1m 40s
Artifacts

ci.yml

on: pull_request
pre-commit
11s
pre-commit
ormolu
17s
ormolu
build-and-test-linux
1m 32s
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-macos
Canceling since a higher priority waiting request for 'Juvix Compiler CI-dependent-defaults-new-algorithm' exists
build-and-test-linux
The operation was canceled.