Skip to content

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

Merged
hyperpolymath merged 11 commits into
mainfrom
codex/adversarial-assurance-20261104
Nov 4, 2026
Merged

hyperpolymath merged 11 commits into
mainfrom
codex/adversarial-assurance-20261104

docs: clarify Zig native compiler prerequisite

7aa9335
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar