Skip to content
CI

Merge branch 'develop' #322

Sign in to view logs

Merge branch 'develop'

Merge branch 'develop' #322

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Coverage (ubuntu-latest, 8.2, lowest)
2m 8s
Coverage (ubuntu-latest, 8.3, lowest)
2m 25s
Coverage (ubuntu-latest, 8.4, highest)
2m 29s
Coverage (ubuntu-latest, 8.3, highest)
2m 22s
Coverage (ubuntu-latest, 8.2, highest)
1m 36s
Coverage (ubuntu-latest, 8.4, lowest)
1m 47s
CS (8.2)
21s
Psalm (8.3, highest)
22s
BlackBox (ubuntu-latest, 8.2, lowest, 10, 7.17.18)
29m 28s
Psalm (8.3, lowest)
25s
Psalm (8.4, lowest)
24s
BlackBox (ubuntu-latest, 8.3, lowest, 10, 7.17.18)
31m 30s
BlackBox (ubuntu-latest, 8.2, lowest, 11, 7.17.18)
30m 48s
Psalm (8.2, lowest)
26s
Psalm (8.4, highest)
30s
Psalm (8.2, highest)
2m 36s
BlackBox (ubuntu-latest, 8.2, highest, 10, 7.17.18)
28m 56s
BlackBox (ubuntu-latest, 8.3, lowest, 11, 7.17.18)
32m 29s
BlackBox (ubuntu-latest, 8.3, highest, 11, 7.17.18)
31m 50s
BlackBox (ubuntu-latest, 8.2, highest, 11, 7.17.18)
31m 49s
BlackBox (ubuntu-latest, 8.3, highest, 10, 7.17.18)
30m 57s
BlackBox (ubuntu-latest, 8.4, lowest, 10, 7.17.18)
33m 3s
BlackBox (ubuntu-latest, 8.4, highest, 11, 7.17.18)
32m 22s
BlackBox (ubuntu-latest, 8.4, lowest, 11, 7.17.18)
31m 20s
BlackBox (ubuntu-latest, 8.4, highest, 10, 7.17.18)
32m 8s
6h 34m 31s