remote-api: setup relocated python client and tests

Author: Andrew Kent

.github/workflows/build.yml

@@ -69,13 +69,6 @@ jobs:
           git submodule update --init
           git -C deps/abcBridge submodule update --init
 
-      - uses: actions/setup-python@v2
-        with:
-          python-version: "3.x"
-
-      - shell: bash
-        run: pip3 install virtualenv
-
       - uses: haskell/actions/setup@v1
         id: setup-haskell
         with:
@@ -109,12 +102,18 @@ jobs:
       - shell: bash
         run: .github/ci.sh setup_dist_bins
 
+
+      - uses: actions/setup-python@v2
+        with:
+          python-version: '3.9'
+      - uses: abatilo/[email protected]
+        with:
+          poetry-version: 1.1.5
       - shell: bash
-        id: cabal-test
-        continue-on-error: true
-        run: cabal v2-test saw-remote-api
-        env:
-          SAW_SERVER: ${GITHUB_WORKSPACE}/dist/bin/saw-remote-api
+        run: |
+          saw-remote-api/scripts/run_rpc_tests.sh
+          saw-remote-api/scripts/check_docs.sh
+        if: runner.os != 'Windows'
 
       - uses: actions/setup-java@v1
         with:
@@ -149,11 +148,6 @@ jobs:
           name: "saw-${{ runner.os }}-${{ matrix.ghc }}"
           path: "dist/bin/saw"
 
-      - shell: bash
-        if: "steps.cabal-test.outcome == 'failure'"
-        name: Warn if tests failed
-        run: echo "::error ::Test suite failed for saw-remote-api. Pipeline allowed to pass until tests are reliable."
-
   docker:
     runs-on: ubuntu-18.04
     needs: [outputs]
@@ -169,6 +163,26 @@ jobs:
           repository: galoisinc/saw
           push: false
 
+  docker-server-test:
+    runs-on: ubuntu-latest
+    needs: [outputs]
+    strategy:
+      fail-fast: false
+    name: Docker SAW Remote API Test
+    steps:
+      - uses: actions/checkout@v2
+        with:
+          submodules: true
+      - run: git -C deps/abcBridge submodule update --init
+      - uses: actions/setup-python@v2
+        with:
+          python-version: '3.9'
+      - uses: abatilo/[email protected]
+        with:
+          poetry-version: 1.1.5
+      - shell: bash
+        run: saw-remote-api/scripts/build_and_test_docker.sh
+
   s2n-tests:
     name: "Test s2n proofs"
     timeout-minutes: 60

saw-remote-api/Dockerfile

@@ -67,5 +67,6 @@ USER saw
 ENV LANG=C.UTF-8 \
     LC_ALL=C.UTF-8
 ENTRYPOINT ["/usr/local/bin/saw-remote-api"]
+WORKDIR /home/saw
 CMD ["http", "--host", "0.0.0.0", "--port", "8080", "/"]
 EXPOSE 8080