Skip to content
CodeQL Security Analysis

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

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 #264

Triggered via pull request May 26, 2026 09:34
@hyperpolymathhyperpolymath
opened #46
fix/idris-lang-chapel-not-c
Status Success
Total duration 8m 38s
Artifacts –

codeql.yml

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