pass proof-systems commit

Geometer1729 · Geometer1729 · commit 8d0fadcd8031 · 2025-05-21T09:40:12.000-04:00
diff --git a/.github/workflows/checks.yml b/.github/workflows/checks.yml
@@ -49,6 +49,7 @@ jobs:
         with:
           repository: ${{ inputs.target_repo || github.repository }}
           ref: ${{ inputs.target_ref || github.ref }}
+          proof_systems_commit: ${{ inputs.proof_systems_commit }}
 
   Lint-Format-and-TypoCheck:
     strategy:
