Skip to content
CodeQL Security Analysis

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

Sign in to view logs

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

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

Triggered via pull request May 26, 2026 09:47
@hyperpolymathhyperpolymath
synchronize #46
fix/idris-lang-chapel-not-c
Status Success
Total duration 5m 30s
Artifacts –

codeql.yml

on: pull_request
Matrix: analyze
Fit to window
Zoom out
Zoom in