Skip to content
CI

use an input to specify the number of scenario per proof #286

Sign in to view logs

use an input to specify the number of scenario per proof

use an input to specify the number of scenario per proof #286

Triggered via push January 16, 2025 13:42
@BaptouuuuBaptouuuu
pushed a7a4e11
reuse-workflows
Status Success
Total duration 6m 44s
Artifacts –

ci.yml

on: push
Matrix: blackbox / BlackBox
Matrix: Coverage
Matrix: CS
Matrix: Psalm
Fit to window
Zoom out
Zoom in

Annotations

11 warnings
Psalm (8.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
CS (8.2)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Psalm (8.3)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
blackbox / BlackBox (ubuntu-latest, 8.3, lowest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
blackbox / BlackBox (ubuntu-latest, 8.2, lowest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
blackbox / BlackBox (ubuntu-latest, 8.2, highest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
blackbox / BlackBox (ubuntu-latest, 8.3, highest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Coverage (ubuntu-latest, 8.2, highest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Coverage (ubuntu-latest, 8.3, highest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Coverage (ubuntu-latest, 8.2, lowest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
Coverage (ubuntu-latest, 8.3, lowest)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636