Skip to content

Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec) - #85

Merged
hyperpolymath merged 7 commits into
mainfrom
claude/new-session-snuoro
Nov 5, 2026
Merged

Phase 0 follow-up: CI/required asserts Idris 2 0.8.0, checker pin bumped to post-ratification trope-checker, schema re-vendored, AFFIRMATION accuracy (haec)#85
hyperpolymath merged 7 commits into
mainfrom
claude/new-session-snuoro

ci: pass the mirror secrets explicitly and drop the scanner's secret …

f7a99d0
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar