Juvix Compiler CI

Add dependent defaults for the new typechecker (#2541) #5849

Sign in to view logs

Triggered via push November 30, 2023 18:17

jonaprieto

main

Status Success

Total duration 55m 56s

Artifacts –

ci.yml

on: push

build-and-test-linux

build-and-test-macos