Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.14.1 #202477
ci/msammler/stdpp_experimental
2647c9d8
fp
#70518 by Michael Sammler's avatar build

00:04:54

passed build-coq.8.15.0 #202476
ci/msammler/stdpp_experimental
2647c9d8
fp-timing
#70518 by Michael Sammler's avatar build

00:04:18

canceled build-coq.8.12.2 #202475
refs/merge-requests/402/head
14e9adac
fp
#70517 by Michael Sammler's avatar build

00:01:35

canceled build-coq.8.14.1 #202474
refs/merge-requests/402/head
14e9adac
fp
#70517 by Michael Sammler's avatar build

00:01:36

passed build-coq.8.12.2 #202473
ci/msammler/stdpp_experimental
14e9adac
fp
#70516 by Michael Sammler's avatar build

00:06:06

passed build-coq.8.13.2 #202472
ci/msammler/stdpp_experimental
14e9adac
fp
#70516 by Michael Sammler's avatar build

00:05:22

passed build-coq.8.14.1 #202471
ci/msammler/stdpp_experimental
14e9adac
fp
#70516 by Michael Sammler's avatar build

00:05:22

passed build-coq.8.15.0 #202470
ci/msammler/stdpp_experimental
14e9adac
fp-timing
#70516 by Michael Sammler's avatar build

00:04:43

passed build-coq.8.12.2 #202368
refs/merge-requests/404/head
e81d12ea
fp
#70478 by Robbert Krebbers's avatar build

00:04:54

passed build-coq.8.14.1 #202367
refs/merge-requests/404/head
e81d12ea
fp
#70478 by Robbert Krebbers's avatar build

00:04:07

passed build-coq.8.12.2 #202364
refs/merge-requests/404/head
e548e71b
fp
#70475 by Robbert Krebbers's avatar build

00:04:52

passed build-coq.8.14.1 #202363
refs/merge-requests/404/head
e548e71b
fp
#70475 by Robbert Krebbers's avatar build

00:04:14

passed build-coq.8.12.2 #202362
refs/merge-requests/404/head
bb414ed6
fp
#70474 by Robbert Krebbers's avatar build

00:04:47

passed build-coq.8.14.1 #202361
refs/merge-requests/404/head
bb414ed6
fp
#70474 by Robbert Krebbers's avatar build

00:04:08

passed build-coq.8.12.2 #202286
master
02fd8ca3
fp
#70453 by Robbert Krebbers's avatar build

00:05:58

passed build-coq.8.13.2 #202285
master
02fd8ca3
fp
#70453 by Robbert Krebbers's avatar build

00:05:07

passed build-coq.8.14.1 #202284
master
02fd8ca3
fp
#70453 by Robbert Krebbers's avatar build

00:05:09

passed build-coq.8.15.0 #202283
master
02fd8ca3
fp-timing
#70453 by Robbert Krebbers's avatar build

00:04:22

passed build-coq.8.12.2 #202200
master
42af9985
fp
#70433 by Robbert Krebbers's avatar build

00:05:36

passed build-coq.8.13.2 #202199
master
42af9985
fp
#70433 by Robbert Krebbers's avatar build

00:04:50

passed build-coq.8.14.1 #202198
master
42af9985
fp
#70433 by Robbert Krebbers's avatar build

00:04:50

passed build-coq.8.15.0 #202197
master
42af9985
fp-timing
#70433 by Robbert Krebbers's avatar build

00:04:35

passed build-coq.8.12.2 #202188
refs/merge-requests/403/head
94212f09
fp
#70428 by Michael Sammler's avatar build

00:04:50

passed build-coq.8.14.1 #202187
refs/merge-requests/403/head
94212f09
fp
#70428 by Michael Sammler's avatar build

00:04:12

canceled build-coq.8.12.2 #202186
refs/merge-requests/403/head
c0225349
fp
#70427 by Michael Sammler's avatar build

00:04:08

canceled build-coq.8.14.1 #202185
refs/merge-requests/403/head
c0225349
fp
#70427 by Michael Sammler's avatar build

00:04:08

passed build-coq.8.12.2 #202184
refs/merge-requests/403/head
30220cd7
fp
#70426 by Michael Sammler's avatar build

00:05:23

passed build-coq.8.14.1 #202183
refs/merge-requests/403/head
30220cd7
fp
#70426 by Michael Sammler's avatar build

00:04:39

passed build-coq.8.12.2 #202182
refs/merge-requests/389/head
33661a3f
fp
#70425 by Michael Sammler's avatar build

00:06:10

passed build-coq.8.14.1 #202181
refs/merge-requests/389/head
33661a3f
fp
#70425 by Michael Sammler's avatar build

00:05:01