Explanations
| Status | Name | Job ID | Coverage | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Build | |||||||||
| passed | build |
#11948
|
00:02:40
|
|
|||||
| manual | build-4.05 |
#11952
allowed to fail
manual
|
|
||||||
| manual | build-4.06 |
#11951
allowed to fail
manual
|
|
||||||
| manual | build-4.07 |
#11950
allowed to fail
manual
|
|
||||||
| manual | build-4.08 |
#11949
allowed to fail
manual
|
|
||||||
| Test | |||||||||
| passed | CL |
#11953
|
00:00:29
|
|
|||||
| passed | CTL-fast |
#11956
|
00:03:42
|
|
|||||
| manual | CTL-slow |
#11957
allowed to fail
manual
|
|
||||||
| passed | DL98 |
#11955
|
00:03:39
|
|
|||||
| passed | K |
#11958
|
00:03:38
|
|
|||||
| passed | KD |
#11960
|
00:00:47
|
|
|||||
| passed | K*K |
#11962
|
00:01:17
|
|
|||||
| passed | K*KD |
#11961
|
00:00:50
|
|
|||||
| passed | K+KD |
#11963
|
00:01:03
|
|
|||||
| passed | K-mu |
#11954
|
00:00:32
|
|
|||||
| passed | Nominals |
#11959
|
00:03:37
|
|
|||||
| passed | PML |
#11964
|
00:00:36
|
|
|||||
| passed | PML+K |
#11965
|
00:00:33
|
|
|||||
| passed | Unit-tests |
#11966
|
00:00:34
|
|
|||||