Skip to content
CI

Move typecheck.rs to concrete_typecheck.rs & prepare for Concrete HM #30

Sign in to view logs

Move typecheck.rs to concrete_typecheck.rs & prepare for Concrete HM

Move typecheck.rs to concrete_typecheck.rs & prepare for Concrete HM #30

Triggered via push November 13, 2024 15:39
@VonTumVonTum
pushed cd4f5bc
master
Status Success
Total duration 1m 3s
Artifacts –

ci.yml

on: push
build
35s
build
Fit to window
Zoom out
Zoom in