Change GitHub CI code #2

flip111 · flip111 · commit 4f0e82226021 · 2024-11-10T14:34:03.000+01:00
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -24,7 +24,7 @@ jobs:
         run: |
           npm install -g spago
           npm install
-          spago fetch
+          spago install
 
       - name: Build source
         run: spago build
