Juvix Compiler CI

Remove old typechecker (#2545) #5857

Sign in to view logs

Triggered via push December 1, 2023 15:50

main

Status Success

Total duration 1h 1m 42s

Artifacts –

ci.yml

on: push

build-and-test-linux

build-and-test-macos