fix(ci): supply release-tag version to pinned Idris installer - #257

fix(ci): supply release-tag version to pinned Idris installer#257

hyperpolymath merged 11 commits into

mainhyperpolymath/panic-attack:mainfrom

codex/adversarial-assurance-20261104hyperpolymath/panic-attack:codex/adversarial-assurance-20261104Copy head branch name to clipboard