Skip to content
OSSF Scorecard

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

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

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

scorecard.yml

on: push
analysis
29s
analysis
Fit to window
Zoom out
Zoom in