Skip to content

fix: rebuild UnicodeCLib on toolchain changes and drop ntohl/htonl - #210

Merged
fgdorais merged 2 commits into
mainfrom
claude/project-thread-kywg1r
Nov 9, 2026
Merged

fix: rebuild UnicodeCLib on toolchain changes and drop ntohl/htonl#210
fgdorais merged 2 commits into
mainfrom
claude/project-thread-kywg1r

chore: go back to buildO with the system cc, tracking the Lean toolchain

835348a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar