Skip to content

ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches - #196

Open
hyperpolymath wants to merge 6 commits into
mainfrom
claude/new-session-th4e9w-proof-honesty
Open

ci(proofs): gate T-RECEIPT in CI and record the two deliberate hatches#196
hyperpolymath wants to merge 6 commits into
mainfrom
claude/new-session-th4e9w-proof-honesty

ci(proofs): check the Coq version without a pipe that pipefail could …

5d375a3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar