Skip to content
CI

increase the number of scenarii per proof in the CI #267

Sign in to view logs

increase the number of scenarii per proof in the CI

increase the number of scenarii per proof in the CI #267

Run time

Learn about OS pricing on GitHub Actions
Job Run time
CS (8.2)
24s
Coverage (ubuntu-latest, 8.2, lowest)
13m 16s
Psalm (8.2)
29s
Coverage (ubuntu-latest, 8.2, highest)
13m 16s
BlackBox (ubuntu-latest, 8.2, lowest)
8m 1s
Psalm (8.3)
15s
Coverage (ubuntu-latest, 8.3, lowest)
8m 33s
BlackBox (ubuntu-latest, 8.2, highest)
8m 0s
Coverage (ubuntu-latest, 8.3, highest)
13m 16s
BlackBox (ubuntu-latest, 8.3, lowest)
7m 56s
Coverage (macOS-latest, 8.2, lowest)
8m 31s
BlackBox (ubuntu-latest, 8.3, highest)
8m 29s
Coverage (macOS-latest, 8.2, highest)
8m 32s
BlackBox (macOS-latest, 8.2, lowest)
18s
Coverage (macOS-latest, 8.3, lowest)
8m 31s
BlackBox (macOS-latest, 8.2, highest)
7m 54s
Coverage (macOS-latest, 8.3, highest)
8m 33s
BlackBox (macOS-latest, 8.3, lowest)
1s
BlackBox (macOS-latest, 8.3, highest)
1s
2h 4m 16s