Repository navigation

ci: run check-proof as an informational job - #31

Merged

Mathis (echobt) merged 1 commit into

mainfrom

ci/check-proof-informational

Oct 25, 2026

Merged

ci: run check-proof as an informational job#31
Mathis (echobt) merged 1 commit into
mainfrom
ci/check-proof-informational

Commits on Oct 25, 2026
- ci(check-proof): run the bitwise proof gate as an informational job
  
  authored and
  Forge
  committed
  7de372c