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

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

hyperpolymath merged 2 commits into

mainhyperpolymath/standards:mainfrom

fix/echidna-a2ml-evictionhyperpolymath/standards:fix/echidna-a2ml-evictionCopy head branch name to clipboard