Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.12.2 #193970
master
45fd520d
fp
#67839 by Ralf Jung's avatar build

00:04:37

passed build-coq.8.13.2 #193969
master
45fd520d
fp
#67839 by Ralf Jung's avatar build

00:03:57

passed build-coq.8.14.1 #193968
master
45fd520d
fp
#67839 by Ralf Jung's avatar build

00:04:11

passed build-coq.8.15.0 #193967
master
45fd520d
fp-timing
#67839 by Ralf Jung's avatar build

00:04:23

passed build-coq.8.12.2 #193867
master
c4055887
fp
#67789 by Ralf Jung's avatar build

00:05:03

passed build-coq.8.13.2 #193866
master
c4055887
fp
#67789 by Ralf Jung's avatar build

00:04:14

passed build-coq.8.14.1 #193865
master
c4055887
fp
#67789 by Ralf Jung's avatar build

00:04:32

passed build-coq.8.15.0 #193864
master
c4055887
fp-timing
#67789 by Ralf Jung's avatar build

00:04:17

passed build-coq.8.12.2 #193856
master
0a010579
fp
#67785 by Ralf Jung's avatar build

00:04:44

passed build-coq.8.13.2 #193855
master
0a010579
fp
#67785 by Ralf Jung's avatar build

00:04:04

passed build-coq.8.14.1 #193854
master
0a010579
fp
#67785 by Ralf Jung's avatar build

00:04:17

passed build-coq.8.15.0 #193853
master
0a010579
fp-timing
#67785 by Ralf Jung's avatar build

00:04:26

passed build-coq.8.12.2 #193771
master
2b12b6fd
fp
#67761 by Ralf Jung's avatar build

00:05:47

passed build-coq.8.13.2 #193770
master
2b12b6fd
fp
#67761 by Ralf Jung's avatar build

00:12:19

passed build-coq.8.14.1 #193769
master
2b12b6fd
fp
#67761 by Ralf Jung's avatar build

00:14:31

passed build-coq.8.15.0 #193768
master
2b12b6fd
fp-timing
#67761 by Ralf Jung's avatar build

00:21:07

passed build-coq.8.12.2 #191916
master
4f82f462
fp
#67029 by Ralf Jung's avatar build

00:05:01

passed build-coq.8.13.2 #191915
master
4f82f462
fp
#67029 by Ralf Jung's avatar build

00:03:51

passed build-coq.8.14.1 #191914
master
4f82f462
fp
#67029 by Ralf Jung's avatar build

00:04:18

passed build-coq.8.15.0 #191913
master
4f82f462
fp-timing
#67029 by Ralf Jung's avatar build

00:04:21

passed build-coq.8.12.2 #191104
master
5b7d0bf6
fp
#66695 by Robbert Krebbers's avatar build

00:04:57

passed build-coq.8.13.2 #191103
master
5b7d0bf6
fp
#66695 by Robbert Krebbers's avatar build

00:03:50

passed build-coq.8.14.1 #191102
master
5b7d0bf6
fp
#66695 by Robbert Krebbers's avatar build

00:08:09

passed build-coq.8.15.0 #191101
master
5b7d0bf6
fp-timing
#66695 by Robbert Krebbers's avatar build

00:12:52

passed build-coq.8.12.2 #191100
refs/merge-requests/382/head
28af1927
fp
#66694 by Robbert Krebbers's avatar build

00:04:26

passed build-coq.8.14.1 #191099
refs/merge-requests/382/head
28af1927
fp
#66694 by Robbert Krebbers's avatar build

00:03:48

canceled build-coq.8.12.2 #191098
refs/merge-requests/382/head
58458a53
fp
#66693 by Robbert Krebbers's avatar build

00:02:46

canceled build-coq.8.14.1 #191097
refs/merge-requests/382/head
58458a53
fp
#66693 by Robbert Krebbers's avatar build

00:02:51

passed build-coq.8.12.2 #191092
refs/merge-requests/382/head
98723b1c
fp
#66690 by Robbert Krebbers's avatar build

00:04:25

passed build-coq.8.14.1 #191091
refs/merge-requests/382/head
98723b1c
fp
#66690 by Robbert Krebbers's avatar build

00:03:56