Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.15.1 #193972
master
b337ca8c
fp-timing
#67841 by Ralf Jung's avatar build

00:07:06

passed build-coq.8.13.2 #193950
refs/merge-requests/792/head
3e1b5b2c
fp
#67830 by Lennard Gäher's avatar build

00:06:44

passed build-coq.8.14.1 #193949
refs/merge-requests/792/head
3e1b5b2c
fp
#67830 by Lennard Gäher's avatar build

00:06:50

passed trigger-stdpp.dev-coq.dev #193917
master
fd103ad0
fp
#67821 by iris-dev's avatar build

00:26:03

passed trigger-stdpp.dev-coq.8.15.1 #193916
master
fd103ad0
fp
#67821 by iris-dev's avatar build

00:09:44

passed build-coq.8.13.2 #193895
refs/merge-requests/792/head
87ebb1e7
fp
#67804 by Lennard Gäher's avatar build

00:16:27

passed build-coq.8.14.1 #193894
refs/merge-requests/792/head
87ebb1e7
fp
#67804 by Lennard Gäher's avatar build

00:18:18

canceled build-coq.8.13.2 #193893
refs/merge-requests/792/head
b67cee55
fp
#67803 by Lennard Gäher's avatar build

00:08:24

canceled build-coq.8.14.1 #193892
refs/merge-requests/792/head
b67cee55
fp
#67803 by Lennard Gäher's avatar build

00:08:25

passed trigger-stdpp.dev-coq.dev #193887
master
fd103ad0
fp
#67800 by iris-dev's avatar build

00:19:15

passed trigger-stdpp.dev-coq.8.15.1 #193886
master
fd103ad0
fp
#67800 by iris-dev's avatar build

00:07:50

passed build-coq.8.13.2 #193872
master
fd103ad0
fp
#67792 by Ralf Jung's avatar build

00:08:33

passed build-coq.8.14.1 #193871
master
fd103ad0
fp
#67792 by Ralf Jung's avatar build

00:08:34

passed build-coq.8.15.1 #193870
master
fd103ad0
fp-timing
#67792 by Ralf Jung's avatar build

00:07:05

passed build-coq.8.13.2 #193863
master
220d7062
fp
#67788 by Ralf Jung's avatar build

00:16:09

passed build-coq.8.14.1 #193862
master
220d7062
fp
#67788 by Ralf Jung's avatar build

00:07:06

passed build-coq.8.15.1 #193861
master
220d7062
fp-timing
#67788 by Ralf Jung's avatar build

00:06:08

failed build-coq.8.13.2 #193775
master
9274f33d
fp
#67763 by Ralf Jung's avatar build

00:18:34

passed build-coq.8.14.1 #193774
master
9274f33d
fp
#67763 by Ralf Jung's avatar build

00:21:21

passed build-coq.8.15.1 #193773
master
9274f33d
fp-timing
#67763 by Ralf Jung's avatar build

00:24:53

passed trigger-stdpp.dev-coq.dev #193763
master
53b20974
fp
#67756 by iris-dev's avatar build

00:26:07

passed trigger-stdpp.dev-coq.8.15.1 #193762
master
53b20974
fp
#67756 by iris-dev's avatar build

00:09:56

passed trigger-stdpp.dev-coq.dev #193595
master
53b20974
fp
#67723 by iris-dev's avatar build

00:19:28

passed trigger-stdpp.dev-coq.8.15.1 #193594
master
53b20974
fp
#67723 by iris-dev's avatar build

00:06:41

passed trigger-stdpp.dev-coq.dev #193553
master
53b20974
fp
#67709 by iris-dev's avatar build

00:25:41

passed trigger-stdpp.dev-coq.8.15.1 #193550
master
53b20974
fp
#67709 by iris-dev's avatar build

00:09:46

passed trigger-stdpp.dev-coq.dev #193537
master
53b20974
fp
#67694 by iris-dev's avatar build

00:19:33

passed trigger-stdpp.dev-coq.8.15.1 #193536
master
53b20974
fp
#67694 by iris-dev's avatar build

00:06:38

passed trigger-stdpp.dev-coq.dev #193505
master
53b20974
fp
#67685 by iris-dev's avatar build

00:26:00

passed trigger-stdpp.dev-coq.8.15.1 #193502
master
53b20974
fp
#67685 by iris-dev's avatar build

00:09:36