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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
35s
35s