Fix CI

Author: cmpute

.github/workflows/tests.yml

@@ -8,6 +8,8 @@ on:
 
 name: Tests
 
+# TODO: test the python package with cross compilation settings
+
 jobs:
   check:
     name: Check
@@ -80,7 +82,7 @@ jobs:
       - uses: actions-rs/cargo@v1
         with:
           command: test
-          args: --workspace --exclude benchmark
+          args: --workspace --exclude benchmark --exclude dashu-python
 
   test-x86_64:
     name: Test x86_64
@@ -115,7 +117,7 @@ jobs:
       - uses: actions-rs/cargo@v1
         with:
           command: test
-          args: --no-default-features --features rand --workspace --exclude benchmark --exclude python
+          args: --no-default-features --features rand --workspace --exclude benchmark --exclude dashu-python
 
   build-benchmark:
     name: Build benchmark
@@ -150,7 +152,7 @@ jobs:
       - uses: actions-rs/cargo@v1
         with:
           command: build
-          args: --target aarch64-unknown-linux-gnu --all-features --workspace --exclude benchmark --exclude python
+          args: --target aarch64-unknown-linux-gnu --all-features --workspace --exclude benchmark --exclude dashu-python
 
   fmt:
     name: Rustfmt