From de516d4907525c115b0c032edf702d19e9ebc15d Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptiste.langlade@hey.com>
Date: Sat, 7 Feb 2026 16:17:20 +0100
Subject: [PATCH 1/3] add extensive CI

---
 .github/workflows/extensive.yml | 48 +++++++++++++++++++++++++++++++++
 blackbox.php                    |  4 +++
 2 files changed, 52 insertions(+)
 create mode 100644 .github/workflows/extensive.yml

diff --git a/.github/workflows/extensive.yml b/.github/workflows/extensive.yml
new file mode 100644
index 0000000..ccb00cb
--- /dev/null
+++ b/.github/workflows/extensive.yml
@@ -0,0 +1,48 @@
+name: Extensive CI
+
+on: [push, pull_request]
+
+jobs:
+  blackbox:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      matrix:
+        os: [ubuntu-latest]
+        php-version: ['8.5']
+        dependency-versions: ['highest']
+    name: 'BlackBox'
+    services:
+      mariadb:
+        image: mariadb:10
+        env:
+          MYSQL_ROOT_PASSWORD: root
+          MYSQL_DATABASE: example
+        ports:
+            - 3306
+      postgres:
+        image: postgres:16
+        env:
+          POSTGRES_USER: root
+          POSTGRES_PASSWORD: root
+          POSTGRES_DB: example
+        ports:
+            - 5432
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Setup PHP
+        uses: shivammathur/setup-php@v2
+        with:
+          php-version: ${{ matrix.php-version }}
+          extensions: mbstring, intl
+          coverage: none
+      - name: Composer
+        uses: "ramsey/composer-install@v2"
+        with:
+          dependency-versions: ${{ matrix.dependencies }}
+      - name: BlackBox
+        run: php blackbox.php
+        env:
+          BLACKBOX_SET_SIZE: 1000
+          DB_PORT: ${{ job.services.mariadb.ports[3306] }}
+          POSTGRES_DB_PORT: ${{ job.services.postgres.ports[5432] }}
diff --git a/blackbox.php b/blackbox.php
index 2305332..39ebb11 100644
--- a/blackbox.php
+++ b/blackbox.php
@@ -10,6 +10,10 @@
 };
 
 Application::new($argv)
+    ->when(
+        \getenv('BLACKBOX_SET_SIZE') !== false,
+        static fn(Application $app) => $app->scenariiPerProof((int) \getenv('BLACKBOX_SET_SIZE')),
+    )
     ->disableMemoryLimit()
     ->codeCoverage(
         CodeCoverage::of(

From e9d9457c9f195d320ccf7a3735de4ef6c15f2860 Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptiste.langlade@hey.com>
Date: Sat, 7 Feb 2026 16:17:57 +0100
Subject: [PATCH 2/3] trigger extensive ci on tags only

---
 .github/workflows/extensive.yml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/extensive.yml b/.github/workflows/extensive.yml
index ccb00cb..c310119 100644
--- a/.github/workflows/extensive.yml
+++ b/.github/workflows/extensive.yml
@@ -1,6 +1,11 @@
 name: Extensive CI
 
-on: [push, pull_request]
+on:
+  push:
+    tags:
+      - '*'
+    paths:
+      - '.github/workflows/extensive.yml'
 
 jobs:
   blackbox:

From 036df040cb9a0d32ef5764026b9752fee9af249d Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptiste.langlade@hey.com>
Date: Sat, 7 Feb 2026 16:20:32 +0100
Subject: [PATCH 3/3] fix number of scenarii being overridden

---
 blackbox.php | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/blackbox.php b/blackbox.php
index 39ebb11..7596898 100644
--- a/blackbox.php
+++ b/blackbox.php
@@ -10,10 +10,6 @@
 };
 
 Application::new($argv)
-    ->when(
-        \getenv('BLACKBOX_SET_SIZE') !== false,
-        static fn(Application $app) => $app->scenariiPerProof((int) \getenv('BLACKBOX_SET_SIZE')),
-    )
     ->disableMemoryLimit()
     ->codeCoverage(
         CodeCoverage::of(
@@ -28,5 +24,9 @@
         false => 100,
         default => 1,
     })
+    ->when(
+        \getenv('BLACKBOX_SET_SIZE') !== false,
+        static fn(Application $app) => $app->scenariiPerProof((int) \getenv('BLACKBOX_SET_SIZE')),
+    )
     ->tryToProve(Load::everythingIn(__DIR__.'/proofs/'))
     ->exit();