Skip to content
CI

Merge branch 'develop' #142

Sign in to view logs

Merge branch 'develop'

Merge branch 'develop' #142

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Coverage (ubuntu-latest, 8.2, lowest)
1m 27s
Coverage (ubuntu-latest, 8.2, highest)
1m 19s
Coverage (ubuntu-latest, 8.3, lowest)
1m 26s
CS (8.2)
33s
BlackBox (ubuntu-latest, 8.2, lowest, 10, 7.17.18)
27m 35s
Coverage (ubuntu-latest, 8.3, highest)
1m 14s
Psalm (8.2, lowest)
20s
BlackBox (ubuntu-latest, 8.2, lowest, 11, 7.17.18)
27m 14s
Psalm (8.2, highest)
20s
BlackBox (ubuntu-latest, 8.2, highest, 10, 7.17.18)
27m 54s
BlackBox (ubuntu-latest, 8.2, highest, 11, 7.17.18)
26m 53s
BlackBox (ubuntu-latest, 8.3, lowest, 10, 7.17.18)
30m 23s
BlackBox (ubuntu-latest, 8.3, lowest, 11, 7.17.18)
28m 45s
Psalm (8.3, lowest)
25s
BlackBox (ubuntu-latest, 8.3, highest, 10, 7.17.18)
29m 53s
BlackBox (ubuntu-latest, 8.3, highest, 11, 7.17.18)
26m 21s
Psalm (8.3, highest)
17s
3h 52m 19s