Status Name Job Pipeline Stage Duration Coverage
passed trigger-stdpp.dev-coq.dev #189362
master
56e9d264
fp
#66210 by iris-dev's avatar build

00:20:13

passed trigger-stdpp.dev-coq.8.15.1 #189361
master
56e9d264
fp
#66210 by iris-dev's avatar build

00:07:33

passed trigger-stdpp.dev-coq.dev #189169
master
56e9d264
fp
#66179 by iris-dev's avatar build

00:25:06

passed trigger-stdpp.dev-coq.8.15.1 #189168
master
56e9d264
fp
#66179 by iris-dev's avatar build

00:09:13

passed trigger-stdpp.dev-coq.dev #189101
master
56e9d264
fp
#66160 by iris-dev's avatar build

00:20:18

passed trigger-stdpp.dev-coq.8.15.1 #189100
master
56e9d264
fp
#66160 by iris-dev's avatar build

00:07:53

passed build-coq.8.13.2 #188990
master
56e9d264
fp
#66140 by Ralf Jung's avatar build

00:07:24

passed build-coq.8.14.1 #188989
master
56e9d264
fp
#66140 by Ralf Jung's avatar build

00:07:37

passed build-coq.8.15.1 #188988
master
56e9d264
fp-timing
#66140 by Ralf Jung's avatar build

00:06:17

passed build-coq.8.13.2 #188982
master
9dd4d1ea
fp
#66135 by Ralf Jung's avatar build

00:07:10

passed build-coq.8.14.1 #188981
master
9dd4d1ea
fp
#66135 by Ralf Jung's avatar build

00:07:18

passed build-coq.8.15.1 #188980
master
9dd4d1ea
fp-timing
#66135 by Ralf Jung's avatar build

00:06:01

passed trigger-stdpp.dev-coq.dev #188932
master
2ce5597c
fp
#66114 by iris-dev's avatar build

00:25:22

passed trigger-stdpp.dev-coq.8.15.1 #188930
master
2ce5597c
fp
#66114 by iris-dev's avatar build

00:10:33

passed build-coq.8.13.2 #188914
master
2ce5597c
fp
#66099 by Ralf Jung's avatar build

00:09:31

passed build-coq.8.14.1 #188913
master
2ce5597c
fp
#66099 by Ralf Jung's avatar build

00:09:44

passed build-coq.8.15.1 #188912
master
2ce5597c
fp-timing
#66099 by Ralf Jung's avatar build

00:07:10

canceled build-coq.8.13.2 #188911
master
15e60f74
fp
#66098 by Ralf Jung's avatar build

00:01:28

canceled build-coq.8.14.1 #188910
master
15e60f74
fp
#66098 by Ralf Jung's avatar build

00:01:29

canceled build-coq.8.15.1 #188909
master
15e60f74
fp-timing
#66098 by Ralf Jung's avatar build

00:01:27

passed build-coq.8.13.2 #188908
refs/merge-requests/799/head
3734ace0
fp
#66097 by Ralf Jung's avatar build

00:08:22

passed build-coq.8.14.1 #188907
refs/merge-requests/799/head
3734ace0
fp
#66097 by Ralf Jung's avatar build

00:08:26

passed build-coq.8.13.2 #188902
refs/merge-requests/799/head
e570d7ea
fp
#66094 by Ralf Jung's avatar build

00:07:57

passed build-coq.8.14.1 #188901
refs/merge-requests/799/head
e570d7ea
fp
#66094 by Ralf Jung's avatar build

00:08:13

passed build-coq.8.13.2 #188894
refs/merge-requests/794/head
7fe2a5e1
fp
#66090 by Ralf Jung's avatar build

00:06:38

passed build-coq.8.14.1 #188893
refs/merge-requests/794/head
7fe2a5e1
fp
#66090 by Ralf Jung's avatar build

00:06:50

canceled build-coq.8.13.2 #188892
refs/merge-requests/794/head
55d656cd
fp
#66089 by Ralf Jung's avatar build

00:02:01

canceled build-coq.8.14.1 #188891
refs/merge-requests/794/head
55d656cd
fp
#66089 by Ralf Jung's avatar build

00:02:04

passed build-coq.8.13.2 #188890
refs/merge-requests/799/head
325ccb75
fp
#66088 by Ralf Jung's avatar build

00:06:45

passed build-coq.8.14.1 #188889
refs/merge-requests/799/head
325ccb75
fp
#66088 by Ralf Jung's avatar build

00:06:50