Status Job Pipeline Stage Name Timing Coverage
passed #42288
master
87729375
fp
#19790 by Robbert's avatar build build-coq.8.7.2

00:06:10

passed #42287
master
87729375
fp
#19790 by Robbert's avatar build build-coq.8.8.2

00:06:07

passed #42286
master
87729375
fp-timing
#19790 by Robbert's avatar build build-coq.8.9.0

00:05:38

passed #42285
master
87729375
fp
#19790 by Robbert's avatar build build-coq.8.9.1

00:06:39

passed #42284
master
87729375
fp
#19790 by Robbert's avatar build build-coq.8.10.dev

00:12:21

passed #42283
master
87729375
fp
#19790 by Robbert's avatar build build-coq.dev

00:15:06

passed #42282
ci/robbert/iprop_structures
1c162639
fp
#19789 by Robbert's avatar build build-coq.8.7.2

00:06:18

passed #42281
ci/robbert/iprop_structures
1c162639
fp
#19789 by Robbert's avatar build build-coq.8.8.2

00:06:49

passed #42280
ci/robbert/iprop_structures
1c162639
fp-timing
#19789 by Robbert's avatar build build-coq.8.9.0

00:05:51

passed #42279
ci/robbert/iprop_structures
1c162639
fp
#19789 by Robbert's avatar build build-coq.8.9.1

00:07:20

passed #42278
ci/robbert/iprop_structures
1c162639
fp
#19789 by Robbert's avatar build build-coq.8.10.dev

00:13:21

passed #42277
ci/robbert/iprop_structures
1c162639
fp
#19789 by Robbert's avatar build build-coq.dev

00:16:00

passed #42275
ci/robbert/iprop_structures
5d870a0c
fp
#19787 by Robbert's avatar build build-coq.8.7.2

00:05:36

passed #42274
ci/robbert/iprop_structures
5d870a0c
fp
#19787 by Robbert's avatar build build-coq.8.8.2

00:06:04

passed #42273
ci/robbert/iprop_structures
5d870a0c
fp-timing
#19787 by Robbert's avatar build build-coq.8.9.0

00:05:35

passed #42272
ci/robbert/iprop_structures
5d870a0c
fp
#19787 by Robbert's avatar build build-coq.8.9.1

00:06:42

passed #42271
ci/robbert/iprop_structures
5d870a0c
fp
#19787 by Robbert's avatar build build-coq.8.10.dev

00:12:01

passed #42270
ci/robbert/iprop_structures
5d870a0c
fp
#19787 by Robbert's avatar build build-coq.dev

00:14:56

canceled #42269
ci/robbert/iprop_structures
92804836
fp
#19786 by Robbert's avatar build build-coq.8.7.2

canceled #42268
ci/robbert/iprop_structures
92804836
fp
#19786 by Robbert's avatar build build-coq.8.8.2

canceled #42267
ci/robbert/iprop_structures
92804836
fp-timing
#19786 by Robbert's avatar build build-coq.8.9.0

canceled #42266
ci/robbert/iprop_structures
92804836
fp
#19786 by Robbert's avatar build build-coq.8.9.1

canceled #42265
ci/robbert/iprop_structures
92804836
fp
#19786 by Robbert's avatar build build-coq.8.10.dev

canceled #42264
ci/robbert/iprop_structures
92804836
fp
#19786 by Robbert's avatar build build-coq.dev

passed #42263
master
7b9acc61
fp
#19785 by Robbert's avatar build build-coq.8.7.2

00:07:06

passed #42262
master
7b9acc61
fp
#19785 by Robbert's avatar build build-coq.8.8.2

00:07:27

passed #42261
master
7b9acc61
fp-timing
#19785 by Robbert's avatar build build-coq.8.9.0

00:06:46

passed #42260
master
7b9acc61
fp
#19785 by Robbert's avatar build build-coq.8.9.1

00:07:56

passed #42259
master
7b9acc61
fp
#19785 by Robbert's avatar build build-coq.8.10.dev

00:12:16

passed #42258
master
7b9acc61
fp
#19785 by Robbert's avatar build build-coq.dev

00:14:57