Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.12.2 #202701
master
06909b86
fp
#70571 by Ralf Jung's avatar build

00:05:39

passed build-coq.8.13.2 #202700
master
06909b86
fp
#70571 by Ralf Jung's avatar build

00:04:56

passed build-coq.8.14.1 #202699
master
06909b86
fp
#70571 by Ralf Jung's avatar build

00:04:57

passed build-coq.8.15.0 #202698
master
06909b86
fp-timing
#70571 by Ralf Jung's avatar build

00:04:37

passed build-coq.8.12.2 #202693
refs/merge-requests/402/head
0d6ed2bf
fp
#70568 by Ralf Jung's avatar build

00:06:00

passed build-coq.8.14.1 #202692
refs/merge-requests/402/head
0d6ed2bf
fp
#70568 by Ralf Jung's avatar build

00:04:53

passed build-coq.8.12.2 #202691
ci/msammler/stdpp_experimental
0d6ed2bf
fp
#70567 by Ralf Jung's avatar build

00:05:52

passed build-coq.8.13.2 #202690
ci/msammler/stdpp_experimental
0d6ed2bf
fp
#70567 by Ralf Jung's avatar build

00:04:58

passed build-coq.8.14.1 #202689
ci/msammler/stdpp_experimental
0d6ed2bf
fp
#70567 by Ralf Jung's avatar build

00:05:08

passed build-coq.8.15.0 #202688
ci/msammler/stdpp_experimental
0d6ed2bf
fp-timing
#70567 by Ralf Jung's avatar build

00:04:43

passed build-coq.8.12.2 #202545
refs/merge-requests/407/head
b7b87501
fp
#70538 by Robbert Krebbers's avatar build

00:05:27

passed build-coq.8.14.1 #202544
refs/merge-requests/407/head
b7b87501
fp
#70538 by Robbert Krebbers's avatar build

00:04:42

passed build-coq.8.12.2 #202541
refs/merge-requests/404/head
8758522a
fp
#70536 by Robbert Krebbers's avatar build

00:05:28

passed build-coq.8.14.1 #202540
refs/merge-requests/404/head
8758522a
fp
#70536 by Robbert Krebbers's avatar build

00:04:45

passed build-coq.8.12.2 #202539
refs/merge-requests/403/head
a2ad8349
fp
#70535 by Michael Sammler's avatar build

00:05:34

passed build-coq.8.14.1 #202538
refs/merge-requests/403/head
a2ad8349
fp
#70535 by Michael Sammler's avatar build

00:04:43

passed build-coq.8.12.2 #202537
refs/merge-requests/403/head
87fb6ce9
fp
#70534 by Michael Sammler's avatar build

00:05:25

passed build-coq.8.14.1 #202536
refs/merge-requests/403/head
87fb6ce9
fp
#70534 by Michael Sammler's avatar build

00:04:43

passed build-coq.8.12.2 #202499
refs/merge-requests/403/head
603bef84
fp
#70527 by Michael Sammler's avatar build

00:04:48

passed build-coq.8.14.1 #202498
refs/merge-requests/403/head
603bef84
fp
#70527 by Michael Sammler's avatar build

00:04:07

passed build-coq.8.12.2 #202497
refs/merge-requests/403/head
7662c360
fp
#70526 by Michael Sammler's avatar build

00:04:49

passed build-coq.8.14.1 #202496
refs/merge-requests/403/head
7662c360
fp
#70526 by Michael Sammler's avatar build

00:04:08

canceled build-coq.8.12.2 #202495
refs/merge-requests/403/head
d0eca127
fp
#70525 by Michael Sammler's avatar build

00:02:27

canceled build-coq.8.14.1 #202494
refs/merge-requests/403/head
d0eca127
fp
#70525 by Michael Sammler's avatar build

00:02:27

passed build-coq.8.12.2 #202493
refs/merge-requests/403/head
ff6c6c18
fp
#70524 by Michael Sammler's avatar build

00:04:46

passed build-coq.8.14.1 #202492
refs/merge-requests/403/head
ff6c6c18
fp
#70524 by Michael Sammler's avatar build

00:04:06

passed build-coq.8.12.2 #202481
refs/merge-requests/402/head
2647c9d8
fp
#70519 by Michael Sammler's avatar build

00:05:44

passed build-coq.8.14.1 #202480
refs/merge-requests/402/head
2647c9d8
fp
#70519 by Michael Sammler's avatar build

00:04:39

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

00:05:36

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

00:04:46