Skip to content

Slice 3: provable CI for the type-checker + render the Zig FFI (provably-real + honest)#23

Merged
hyperpolymath merged 4 commits into
mainfrom
claude/sharp-cannon-038nwu
Jun 18, 2026
Merged

Slice 3: provable CI for the type-checker + render the Zig FFI (provably-real + honest)#23
hyperpolymath merged 4 commits into
mainfrom
claude/sharp-cannon-038nwu

chore: gitignore Zig build artifacts (zig-out/, .zig-cache/)

a24d129
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar