Change GitHub CI code 5

flip111 · flip111 · commit d32e58d5505f · 2024-11-10T14:39:27.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -28,7 +28,3 @@ jobs:
 
       - name: Build source
         run: spago build
-
-      - name: Run tests
-        run: |
-          spago test
