Status Job Pipeline Stage Name Timing Coverage
passed #41739
ci/robbert/iprop_structures
4524b406
fp
#19677 by Robbert's avatar build build-coq.8.7.2

00:05:50

passed #41738
ci/robbert/iprop_structures
4524b406
fp
#19677 by Robbert's avatar build build-coq.8.8.2

00:06:53

passed #41737
ci/robbert/iprop_structures
4524b406
fp-timing
#19677 by Robbert's avatar build build-coq.8.9.0

00:05:47

passed #41736
ci/robbert/iprop_structures
4524b406
fp
#19677 by Robbert's avatar build build-coq.8.9.1

00:07:16

passed #41735
ci/robbert/iprop_structures
4524b406
fp
#19677 by Robbert's avatar build build-coq.8.10.dev

00:12:50

passed #41734
ci/robbert/iprop_structures
4524b406
fp
#19677 by Robbert's avatar build build-coq.dev

00:15:13

failed #41700
ci/robbert/iprop_structures
060058d8
fp
#19664 by Robbert's avatar build build-coq.8.7.2

00:03:33

failed #41699
ci/robbert/iprop_structures
060058d8
fp
#19664 by Robbert's avatar build build-coq.8.8.2

00:04:33

failed #41698
ci/robbert/iprop_structures
060058d8
fp-timing
#19664 by Robbert's avatar build build-coq.8.9.0

00:03:33

failed #41697
ci/robbert/iprop_structures
060058d8
fp
#19664 by Robbert's avatar build build-coq.8.9.1

00:04:41

failed #41696
ci/robbert/iprop_structures
060058d8
fp
#19664 by Robbert's avatar build build-coq.8.10.dev

00:09:34

failed #41695
ci/robbert/iprop_structures
060058d8
fp
#19664 by Robbert's avatar build build-coq.dev

00:10:29

passed #41669
master
708b8ac0
fp
#19657 by Jacques-Henri Jourdan's avatar build build-coq.8.7.2

00:05:51

passed #41668
master
708b8ac0
fp
#19657 by Jacques-Henri Jourdan's avatar build build-coq.8.8.2

00:06:44

passed #41667
master
708b8ac0
fp-timing
#19657 by Jacques-Henri Jourdan's avatar build build-coq.8.9.0

00:05:51

passed #41666
master
708b8ac0
fp
#19657 by Jacques-Henri Jourdan's avatar build build-coq.8.9.1

00:07:19

passed #41665
master
708b8ac0
fp
#19657 by Jacques-Henri Jourdan's avatar build build-coq.8.10.dev

00:12:48

passed #41664
master
708b8ac0
fp
#19657 by Jacques-Henri Jourdan's avatar build build-coq.dev

00:15:13

passed #41617
master
5d4caebb
fp
#19647 by Robbert's avatar build build-coq.8.7.2

00:06:55

passed #41616
master
5d4caebb
fp
#19647 by Robbert's avatar build build-coq.8.8.2

00:07:38

passed #41615
master
5d4caebb
fp-timing
#19647 by Robbert's avatar build build-coq.8.9.0

00:06:56

passed #41614
master
5d4caebb
fp
#19647 by Robbert's avatar build build-coq.8.9.1

00:08:17

passed #41613
master
5d4caebb
fp
#19647 by Robbert's avatar build build-coq.8.10.dev

00:12:44

passed #41612
master
5d4caebb
fp
#19647 by Robbert's avatar build build-coq.dev

00:15:17

passed #41432
master
a00ebafc
fp
#19611 by Robbert's avatar build build-coq.8.7.2

00:05:46

passed #41431
master
a00ebafc
fp
#19611 by Robbert's avatar build build-coq.8.8.2

00:06:44

passed #41430
master
a00ebafc
fp-timing
#19611 by Robbert's avatar build build-coq.8.9.0

00:06:00

passed #41429
master
a00ebafc
fp
#19611 by Robbert's avatar build build-coq.8.9.1

00:07:19

passed #41428
master
a00ebafc
fp
#19611 by Robbert's avatar build build-coq.8.10.dev

00:12:45

passed #41427
master
a00ebafc
fp
#19611 by Robbert's avatar build build-coq.dev

00:15:03