GaloisInc · pnwamk · Feb 9, 2021 · Feb 8, 2021 · Feb 8, 2021 · Feb 8, 2021
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -46,13 +46,14 @@ jobs:
         if [ -f requirements.txt ]; then pip3 install -r requirements.txt; fi
     - name: Typecheck python code
       working-directory: ./python
-      run: mypy argo saw cryptol
+      run: mypy argo_client
     - name: Build
       run: |
         cabal build all
     - name: Cabal argo tests
       run: cabal test argo
-    - name: Cabal file-echo-api tests
-      run: cabal test file-echo-api
-    - name: Python unit tests
-      run: cabal test python
+    - name: Python argo-client unit tests
+      working-directory: ./python
+      run: |
+        bash tests/run_test_servers.sh
+        python3 -m unittest tests/test_file-echo-api.py
diff --git a/README.rst b/README.rst
@@ -124,7 +124,7 @@ Working on the Python bindings
 
 To run the ``mypy`` type checker, enter the virtual environment and then run::
 
-    mypy argo saw cryptol
+    mypy argo_client
 
 from the ``python`` subdirectory.
 

diff --git a/cabal.project b/cabal.project
@@ -1,5 +1,4 @@
 packages:
   argo/
-  python/
   file-echo-api/
   tasty-script-exitcode/
diff --git a/docs/CryptolPython.rst b/docs/CryptolPython.rst
diff --git a/docs/SAWPython.rst b/docs/SAWPython.rst
diff --git a/dreams/salsa20.py b/dreams/salsa20.py
diff --git a/dreams/salsa20_comp.py b/dreams/salsa20_comp.py
diff --git a/dreams/swap.py b/dreams/swap.py