build: don't use boxed feature of xdist

It has been removed from 3.0. This could be replaced by pytest-forked if
needed. I don't really remember why I was using that (I suppose it was
to avoid segfaults, due maybe to ctypes?).

diff --git a/tests/ci/run.sh b/tests/ci/run.sh
index acd407c93a1f9035100794581bdda0139c595e4c..8fe37038b61dde8fd6afbc036ad8c7841c7a1a7a 100755 (executable)
--- a/tests/ci/run.sh
+++ b/tests/ci/run.sh
@@ -45,7 +45,7 @@ case "$(uname -s)" in
     Linux)
         # Integration tests
         cd ../tests/integration
-        sudo $(which python3) -m pytest -n 5 -vv --boxed || \
+        sudo $(which python3) -m pytest -n 5 -vv || \
             sudo $(which python3) -m pytest -vvv --last-failed --maxfail=5
         ;;
 esac