Skip to content

Commit

Permalink
use an input to specify the number of scenario per proof
Browse files Browse the repository at this point in the history
  • Loading branch information
Baptouuuu committed Jan 16, 2025
1 parent 9c7eaea commit a7a4e11
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -5,9 +5,9 @@ on: [push]
jobs:
blackbox:
uses: innmind/github-workflows/.github/workflows/black-box.yml@main
with:
scenarii: 20
secrets: inherit
env:
BLACKBOX_SET_SIZE: 20
coverage:
runs-on: ${{ matrix.os }}
strategy:
Expand Down

0 comments on commit a7a4e11

Please sign in to comment.