Skip to content
Instant Sync

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

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 … #155

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

instant-sync.yml

on: push
dispatch
4s
dispatch
Fit to window
Zoom out
Zoom in

Annotations

1 error
dispatch