Fix RPC tests

GaloisInc · May 6, 2021 · c721859 · c721859
1 parent 74cc903
commit c721859
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -228,6 +228,8 @@ jobs:
         run: |
           set -x
           chmod +x dist/bin/cryptol
+          chmod +x dist/bin/cryptol-remote-api
+          chmod +x dist/bin/cryptol-eval-server
           chmod +x bin/test-runner
           .github/ci.sh install_system_deps
           ghc_ver="$(ghc --numeric-version)"
@@ -239,15 +241,13 @@ jobs:
         continue-on-error: ${{ matrix.continue-on-error }}
         name: test-lib ${{ matrix.target }}
         run: |
-          set -x
           export PATH=$PWD/bin:$PWD/dist/bin:$PATH
           ./bin/test-runner --ext=.icry -F -b --exe=dist/bin/cryptol ./tests/${{ matrix.target }}
 
       - if: matrix.suite == 'rpc'
         shell: bash
         continue-on-error: ${{ matrix.continue-on-error }}
         run: |
-          set -x
           export PATH=$PWD/bin:$PWD/dist/bin:$PATH
           cryptol-remote-api/run_rpc_tests.sh