Upgrade pfsc-test-modules to 0.30.0a3

skieffer · Jun 2, 2024 · 64fdc17 · 64fdc17
1 parent 19cd4ed
commit 64fdc17
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/server/req/test-requirements.hashless b/server/req/test-requirements.hashless
@@ -7,4 +7,4 @@
 #-e ../displaylang
 #-e ../sympy
 
-git+https://github.com/proofscape/pfsc-test-modules.git@v0.30.0a2
+git+https://github.com/proofscape/pfsc-test-modules.git@v0.30.0a3