Status Job Pipeline Stage Name Timing Coverage
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

passed #42248
ci/robbert/iprop_structures
ae776e87
fp
#19782 by Robbert's avatar build build-coq.8.7.2

00:07:10

passed #42247
ci/robbert/iprop_structures
ae776e87
fp
#19782 by Robbert's avatar build build-coq.8.8.2

00:07:55

passed #42246
ci/robbert/iprop_structures
ae776e87
fp-timing
#19782 by Robbert's avatar build build-coq.8.9.0

00:06:47

passed #42245
ci/robbert/iprop_structures
ae776e87
fp
#19782 by Robbert's avatar build build-coq.8.9.1

00:08:20

passed #42244
ci/robbert/iprop_structures
ae776e87
fp
#19782 by Robbert's avatar build build-coq.8.10.dev

00:13:00

passed #42243
ci/robbert/iprop_structures
ae776e87
fp
#19782 by Robbert's avatar build build-coq.dev

00:15:46

passed #42231
master
ca3f9d11
fp
#19774 by Ralf Jung's avatar build build-coq.8.7.2

00:07:15

passed #42230
master
ca3f9d11
fp
#19774 by Ralf Jung's avatar build build-coq.8.8.2

00:07:45

passed #42229
master
ca3f9d11
fp-timing
#19774 by Ralf Jung's avatar build build-coq.8.9.0

00:06:53

passed #42228
master
ca3f9d11
fp
#19774 by Ralf Jung's avatar build build-coq.8.9.1

00:08:19

passed #42227
master
ca3f9d11
fp
#19774 by Ralf Jung's avatar build build-coq.8.10.dev

00:12:53

passed #42226
master
ca3f9d11
fp
#19774 by Ralf Jung's avatar build build-coq.dev

00:15:54

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