Pin PISE at 0.30.1 in build action

toepproj · Jun 10, 2024 · d5370cf · d5370cf
1 parent f66c021
commit d5370cf
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -15,5 +15,5 @@ jobs:
  - name: Build
  uses: proofscape/pfsc-repo-build-action@v3
  with:
- pise-vers: 0.30.0
+ pise-vers: 0.30.1
  content-vers: ${{inputs.content-vers || 'WIP' }}