Explanations

19 jobs for cleanup in 6 minutes and 23 seconds (queued for 2 seconds)
latest
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