Revert "[ci] fix spectest (#15)"

This reverts commit 0b866e1.
starcoinorg · Mar 2, 2023 · caf099f · caf099f
1 parent 9e6b9c8
commit caf099f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build_test.yml b/.github/workflows/build_test.yml
@@ -32,7 +32,7 @@ jobs:
       - name: spec test
         run: |
           source "$HOME/.profile"
-          mpm spectest
+          mpm package test
       - name: move-prover-test
         run: |
           source "$HOME/.profile"