Skip to content
CI

Merge branch 'develop' #135

Sign in to view logs

Merge branch 'develop'

Merge branch 'develop' #135

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Psalm (8.2, lowest)
26s
Psalm (8.2, highest)
25s
Coverage (ubuntu-latest, 8.2, lowest)
1m 38s
CS (8.2)
23s
Psalm (8.3, lowest)
18s
Coverage (ubuntu-latest, 8.2, highest)
1m 50s
BlackBox (ubuntu-latest, 8.2, lowest, 10, 7.17.18)
26m 46s
Psalm (8.3, highest)
19s
BlackBox (ubuntu-latest, 8.2, lowest, 11, 7.17.18)
27m 35s
Coverage (ubuntu-latest, 8.3, lowest)
1m 46s
BlackBox (ubuntu-latest, 8.2, highest, 10, 7.17.18)
26m 27s
Coverage (ubuntu-latest, 8.3, highest)
1m 43s
BlackBox (ubuntu-latest, 8.2, highest, 11, 7.17.18)
28m 22s
BlackBox (ubuntu-latest, 8.3, lowest, 10, 7.17.18)
27m 32s
BlackBox (ubuntu-latest, 8.3, lowest, 11, 7.17.18)
28m 21s
BlackBox (ubuntu-latest, 8.3, highest, 10, 7.17.18)
28m 26s
BlackBox (ubuntu-latest, 8.3, highest, 11, 7.17.18)
27m 4s
3h 49m 21s