Merge pull request #21 from david-a-wheeler/parallel_testing

Parallelize tests

.github/workflows/verifiers.yml

@@ -20,8 +20,8 @@ jobs:
           paths_ignore: '["**/README.md", "**/docs/**"]'
 
   ###########################################################
-  test:
-    name: Test mmverify.py
+  test_setmm:
+    name: Test mmverify.py on set.mm
     runs-on: ubuntu-latest
     needs: skip_dups
     if: ${{ needs.skip_dups.outputs.should_skip != 'true' }}
@@ -32,9 +32,21 @@ jobs:
       - run: echo 'Starting'
         # Download from GitHub. This is probably easy for GitHub.
       - run: wget -N https://raw.githubusercontent.com/metamath/set.mm/develop/set.mm
+      - run: ./mmverify.py set.mm
+      - run: echo 'Success!'
+  test_other_jmm:
+    name: Test mmverify.py on other .mm databases (including a bad one)
+    runs-on: ubuntu-latest
+    needs: skip_dups
+    if: ${{ needs.skip_dups.outputs.should_skip != 'true' }}
+    steps:
+      # By default checkout fetches a single commit, which is what we want.
+      # See: https://github.com/actions/checkout
+      - uses: actions/checkout@v3
+      - run: echo 'Starting'
+        # Download from GitHub. This is probably easy for GitHub.
       - run: wget -N https://raw.githubusercontent.com/metamath/set.mm/develop/iset.mm
       - run: wget -N https://raw.githubusercontent.com/david-a-wheeler/metamath-test/master/anatomy-bad1.mm
-      - run: ./mmverify.py set.mm
       - run: ./mmverify.py iset.mm
       - run: echo 'This should not pass:'
       - run: '! ./mmverify.py anatomy-bad1.mm'