Use 4 threads in CI (#584)

moves-rwth · Jul 23, 2024 · 873503c · 873503c
2 parents c6223c5 + d5fd11e
commit 873503c
Show file tree

Hide file tree

Showing 4 changed files with 8 additions and 8 deletions.
diff --git a/.github/workflows/buildtest.yml b/.github/workflows/buildtest.yml
@@ -11,8 +11,8 @@ on:
   pull_request:
 
 env:
-  # GitHub runners currently have two cores
-  NR_JOBS: "2"
+  # GitHub runners currently have 4 cores
+  NR_JOBS: "4"
 
 jobs:
   # Perform in-depth tests with different configurations

diff --git a/.github/workflows/doxygen.yml b/.github/workflows/doxygen.yml
@@ -12,8 +12,8 @@ env:
   BASE_IMG: "movesrwth/carl-storm:ci-release"
   STORM_GIT_URL: "${{ github.server_url }}/${{ github.repository }}.git"
   STORM_BRANCH: "master"
-  # github runners currently have two cores
-  NR_JOBS: "2"
+  # GitHub runners currently have 4 cores
+  NR_JOBS: "4"
 
 
 jobs:
@@ -25,7 +25,7 @@ jobs:
     if: github.repository_owner == 'moves-rwth'
     steps:
       - name: Init Docker
-        run: sudo docker run -d -it --name storm --privileged ${BASE_IMG}
+        run: sudo docker run -d -it --name storm ${BASE_IMG}
 
         # We should not do partial updates :/
         # but we need to install some dependencies

diff --git a/.github/workflows/release_docker.yml b/.github/workflows/release_docker.yml
@@ -10,8 +10,8 @@ on:
         default: 'x.y.z'
 
 env:
-  # GitHub runners currently have two cores
-  NR_JOBS: "2"
+  # GitHub runners currently have 4 cores
+  NR_JOBS: "4"
 
 jobs:
   deploy:

diff --git a/doc/offline_package.md b/doc/offline_package.md
@@ -51,7 +51,7 @@ cd storm
 mkdir -p build
 cd build
 cmake ..
-make storm-main -j$THREADS
+make storm-cli -j$THREADS
 cd ../../
 
 echo "Installation successfull."