diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a40a87c..8067e20 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -13,7 +13,7 @@
     - start_section install_rocksdb_static "Building and installing rocksdb-static"
     - curl -L https://github.com/facebook/rocksdb/archive/refs/tags/v5.11.3.tar.gz | tar zx
     - cd rocksdb-5.11.3
-    - export PROCS=$(cat /proc/cpuinfo | grep -c processor)
+    - export PROCS=$(nproc)
     - make -j $PROCS static_lib DISABLE_WARNING_AS_ERROR=1 WARNING_FLAGS=-w
     - make install-static DISABLE_WARNING_AS_ERROR=1 WARNING_FLAGS=-w
     - end_section install_rocksdb_static
@@ -49,10 +49,7 @@
     - make install
     - end_section build_derekovecs-server
 
-    - start_section run_derekovecs-server "Running DeReKoVecs server"
-    - morbo script/derekovecs-server &
-    - DVPID=$!
-    - sleep 40
-    - kill $DVPID || true
+    - start_section run_derekovecs-server "Testing DeReKoVecs server"
+    - prove --verbose t
     - end_section run_derekovecs-server