.github/test-pr, package/test-package: try moving foundry installation into test-package script

Author: ehildenb

.github/workflows/test-pr.yml

@@ -138,12 +138,5 @@ jobs:
         with:
           name: k-framework
           authToken: '${{ secrets.CACHIX_PUBLIC_TOKEN }}'
-      - name: 'Install Foundry'
-        run: |
-          curl -L https://foundry.paradigm.xyz | bash
-          export PATH=$HOME/.foundry/bin:$PATH
-          foundryup
       - name: 'Test KEVM'
-        run: |
-          export PATH=$HOME/.foundry/bin:$PATH
-          GC_DONT_GC=1 nix build .#kevm-test
+        run: GC_DONT_GC=1 nix build .#kevm-test

package/test-package.sh

@@ -49,5 +49,9 @@ kevm prove tests/specs/erc20/ds/transfer-failure-1-a-spec.k --backend java --for
     --definition tests/specs/erc20/verification/java
 fi
 
+curl -L https://foundry.paradigm.xyz | bash
+export PATH=$HOME/.foundry/bin:$PATH
+foundryup
+
 cd tests/foundry
 ./test-foundry.sh