Try --allow-newer again

luau-lang · Apr 9, 2022 · 3108138 · 3108138
1 parent 2f300cf
commit 3108138
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/prototyping.yml b/.github/workflows/prototyping.yml
@@ -34,8 +34,8 @@ jobs:
     - name: cabal install
       working-directory: prototyping
       run: |
-        cabal install Agda-${{ matrix.agda }}
         cabal install --allow-newer --lib scientific vector aeson text bytestring-0.11.3.0 --package-env .
+        cabal install --allow-newer Agda-${{ matrix.agda }}
     - name: check targets
       working-directory: prototyping
       run: |