skip docs in CI, update upper limit for bruteforce

Author: ModischFabrications

.github/workflows/ci.yml

@@ -67,6 +67,8 @@ jobs:
     steps:
       - name: Checkout 🛎️
         uses: actions/checkout@v4
+        with:
+          exclude: "docs/*"
 
       # https://github.com/docker/metadata-action
       - name: Export Metadata for Docker 🖊️

docker-compose.yml

@@ -9,7 +9,7 @@ services:
     ports:
       - "8000:80"
     environment:
-      - BRUTEFORCE_MAX_COMBINATIONS=4000
+      - BRUTEFORCE_MAX_COMBINATIONS=8000
       - SOLVER_N_MAX=1500
 
   cutsolver_frontend: