Skip to content
Mirror to GitLab and Bitbucket

fix(proofs): align Idris Lang enum with Rust (Chapel not C) — closes … #195

Sign in to view logs

fix(proofs): align Idris Lang enum with Rust (Chapel not C) — closes …

fix(proofs): align Idris Lang enum with Rust (Chapel not C) — closes … #195

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Mirror repositories
5s
5s