Repository navigation

ci: pin proofcheck to v1.0.0 - #55

Merged

bhaskargurram-ai merged 2 commits into

mainfrom

pin-proofcheck-1.0.0

Oct 14, 2026

Merged

ci: pin proofcheck to v1.0.0#55
bhaskargurram-ai merged 2 commits into
mainfrom
pin-proofcheck-1.0.0

Commits on Oct 14, 2026
- ci: pin proofcheck to the v1.0.0 release
  claude
  committed
  0d7d2d3
- Merge branch 'main' into pin-proofcheck-1.0.0
  bhaskargurram-ai
  authored
  b523c9a