Skip to content

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

ci(check-proof): run the bitwise proof gate as an informational job

7de372c
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar