increase the number of scenarii per proof in the CI

Author: Baptouuuu

.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:

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();