From 2ed448212395ac5ba9252406f7522a02a40ce659 Mon Sep 17 00:00:00 2001
From: Baptiste Langlade <baptouuuu@gmail.com>
Date: Sat, 9 Nov 2024 17:31:33 +0100
Subject: [PATCH] increase the number of scenarii per proof in the CI

---
 .github/workflows/ci.yml | 1 +
 blackbox.php             | 4 ++++
 2 files changed, 5 insertions(+)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index c8e3153..085be40 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -28,6 +28,7 @@ jobs:
         run: php blackbox.php
         env:
           BLACKBOX_SET_SIZE: 20
+          CI: 'true'
   coverage:
     runs-on: ${{ matrix.os }}
     strategy:
diff --git a/blackbox.php b/blackbox.php
index bf1804d..5282fdd 100644
--- a/blackbox.php
+++ b/blackbox.php
@@ -24,5 +24,9 @@
             )
             ->scenariiPerProof(1),
     )
+    ->when(
+        \getenv('CI') !== false,
+        static fn(Application $app) => $app->scenariiPerProof(1_000),
+    )
     ->tryToProve(Load::everythingIn(__DIR__.'/proofs/'))
     ->exit();