Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.12.2 #153205
ghost-map-persist-auth
00654c5a
fp
#56138 by Simon Friis Vindum's avatar build

00:08:25

passed build-coq.dev #153204
ghost-map-persist-auth
00654c5a
fp
#56138 by Simon Friis Vindum's avatar build

00:08:00

canceled build-coq.8.12.2 #153203
ghost-map-persist-auth
75b7f48f
fp
#56137 by Simon Friis Vindum's avatar build

00:01:59

canceled build-coq.dev #153202
ghost-map-persist-auth
75b7f48f
fp
#56137 by Simon Friis Vindum's avatar build

00:01:59

passed build-coq.8.12.2 #152622
ghost-map-persist-auth
26eb2b4b
fp
#55824 by Simon Friis Vindum's avatar build

00:09:20

passed build-coq.dev #152621
ghost-map-persist-auth
26eb2b4b
fp
#55824 by Simon Friis Vindum's avatar build

00:08:48

failed build-coq.8.12.2 #152584
ghost-map-persist-auth
8d20d87c
fp
#55818 by Simon Friis Vindum's avatar build

00:05:58

failed build-coq.dev #152583
ghost-map-persist-auth
8d20d87c
fp
#55818 by Simon Friis Vindum's avatar build

00:05:53

passed build-coq.8.12.2 #152457
ghost-map-persist-auth
d6881996
fp
#55773 by Simon Friis Vindum's avatar build

00:15:26

passed build-coq.dev #152456
ghost-map-persist-auth
d6881996
fp
#55773 by Simon Friis Vindum's avatar build

00:18:21

passed build-coq.8.12.2 #138433
big-op-impl
2a045fd2
fp
#51565 by Simon Friis Vindum's avatar build

00:07:47

passed build-coq.dev #138432
big-op-impl
2a045fd2
fp
#51565 by Simon Friis Vindum's avatar build

00:07:37

passed build-coq.8.12.2 #138249
big-op-impl
53c1d450
fp
#51507 by Simon Friis Vindum's avatar build

00:09:19

passed build-coq.dev #138248
big-op-impl
53c1d450
fp
#51507 by Simon Friis Vindum's avatar build

00:08:52

failed build-coq.8.12.2 #138238
big-op-impl
3ebef6ab
fp
#51502 by Simon Friis Vindum's avatar build

00:04:23

failed build-coq.dev #138237
big-op-impl
3ebef6ab
fp
#51502 by Simon Friis Vindum's avatar build

00:05:02

failed build-coq.8.12.2 #138231
big-op-impl
7413fc76
fp
#51499 by Simon Friis Vindum's avatar build

00:02:54

failed build-coq.dev #138230
big-op-impl
7413fc76
fp
#51499 by Simon Friis Vindum's avatar build

00:03:53

passed build-coq.8.12.2 #137949
big-op-impl
d4423268
fp
#51354 by Simon Friis Vindum's avatar build

00:08:32

passed build-coq.dev #137948
big-op-impl
d4423268
fp
#51354 by Simon Friis Vindum's avatar build

00:08:19

passed build-coq.8.12.2 #137806
big-op-impl
bd1e14de
fp
#51295 by Simon Friis Vindum's avatar build

00:10:26

passed build-coq.dev #137805
big-op-impl
bd1e14de
fp
#51295 by Simon Friis Vindum's avatar build

00:17:31

passed build-coq.8.12.2 #137804
big-op-impl
ee8433ef
fp
#51294 by Simon Friis Vindum's avatar build

00:10:16

canceled build-coq.dev #137803
big-op-impl
ee8433ef
fp
#51294 by Simon Friis Vindum's avatar build

00:11:19

passed build-coq.8.12.2 #131359
big-op-impl
ea15c157
fp
#48634 by Simon Friis Vindum's avatar build

00:07:46

passed build-coq.dev #131358
big-op-impl
ea15c157
fp
#48634 by Simon Friis Vindum's avatar build

00:07:49

passed build-coq.8.12.2 #131314
big-op-impl
76eb7cd1
fp
#48614 by Simon Friis Vindum's avatar build

00:07:48

passed build-coq.dev #131313
big-op-impl
76eb7cd1
fp
#48614 by Simon Friis Vindum's avatar build

00:07:53

passed build-coq.8.12.2 #130513
big-op-impl
1b86cdf9
fp
#47857 by Simon Friis Vindum's avatar build

00:13:51

passed build-coq.dev #130512
big-op-impl
1b86cdf9
fp
#47857 by Simon Friis Vindum's avatar build

00:16:26