use gxtest in github workflow

mighty-gerbils · Jul 18, 2023 · 5a29334 · 5a29334
1 parent edaf91b
commit 5a29334
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -65,4 +65,4 @@ jobs:
         run: |
           export GERBIL_HOME=${GITHUB_WORKSPACE}
           export PATH=${GITHUB_WORKSPACE}/bin:$PATH
-          ./src/std/run-tests.ss
+          gxtest src/std/...