Skip to content

fix(assail): skip .ipkg files in Idris ProofDrift; add Chapel detector #164

fix(assail): skip .ipkg files in Idris ProofDrift; add Chapel detector

fix(assail): skip .ipkg files in Idris ProofDrift; add Chapel detector #164

Triggered via push April 25, 2026 14:42
Status Success
Total duration 1m 49s
Artifacts
Fit to window
Zoom out
Zoom in