Skip to content

docs(affirmation): affirm Idris2 0.8.0, trusted base and Zig break by local run - #352

Merged
hyperpolymath merged 2 commits into
mainfrom
docs/affirmation-pinned-toolchain
Oct 7, 2026
Merged

docs(affirmation): affirm Idris2 0.8.0, trusted base and Zig break by local run#352
hyperpolymath merged 2 commits into
mainfrom
docs/affirmation-pinned-toolchain

docs(affirmation): record how the affirmation landed (#351 parent = a…

b39db8d
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar