Skip to content

fix(ci): echidna-verify — evict idris2-a2ml job (a2ml project retired; no ruleset pins its context) - #836

Merged
hyperpolymath merged 2 commits into
mainfrom
fix/echidna-a2ml-eviction
Sep 17, 2026
Merged

fix(ci): echidna-verify — evict idris2-a2ml job (a2ml project retired; no ruleset pins its context)#836
hyperpolymath merged 2 commits into
mainfrom
fix/echidna-a2ml-eviction

Merge branch 'main' into fix/echidna-a2ml-eviction

d4f305d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar