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

Triggered via push May 26, 2026 09:59
@hyperpolymathhyperpolymath
pushed 7766c18
main
Status Success
Total duration 1m 37s
Artifacts –

mirror.yml

on: push
Mirror repositories
5s
Mirror repositories
Fit to window
Zoom out
Zoom in