Juvix Compiler CI

Add dependent defaults for the new typechecker #5790

Sign in to view logs

Triggered via pull request November 28, 2023 08:23

opened #2541

dependent-defaults-new-algorithm

Status Failure

Total duration 13m 5s

Artifacts –

ci.yml

on: pull_request

build-and-test-linux

build-and-test-macos

Annotations

3 errors

Ormolu detected unformatted files

build-and-test-linux

Process completed with exit code 1.

build-and-test-macos

Process completed with exit code 1.