Status Job Pipeline Stage Name Timing Coverage
passed #84003
master
7f22660c
fp
#32399 by Ralf Jung's avatar build build-coq.8.10.2

00:05:59

passed #84002
master
7f22660c
fp-timing
#32399 by Ralf Jung's avatar build build-coq.8.11.2

00:04:50

passed #84001
master
7f22660c
fp
#32399 by Ralf Jung's avatar build build-coq.8.12.dev

00:13:32

passed #80509
master
102685f4
fp
#31646 by Robbert's avatar build build-coq.8.10.2

00:07:23

passed #80508
master
102685f4
fp-timing
#31646 by Robbert's avatar build build-coq.8.11.2

00:04:56

passed #80507
master
102685f4
fp
#31646 by Robbert's avatar build build-coq.8.12.dev

00:13:45

passed #79862
master
965f5c72
fp
#31503 by Ralf Jung's avatar build build-coq.8.10.2

00:05:50

passed #79861
master
965f5c72
fp-timing
#31503 by Ralf Jung's avatar build build-coq.8.11.2

00:04:41

passed #79860
master
965f5c72
fp
#31503 by Ralf Jung's avatar build build-coq.8.12.dev

00:12:04

passed #77105
master
adeaaee2
fp
#30459 by Ralf Jung's avatar build build-coq.8.10.2

00:07:10

passed #77104
master
adeaaee2
fp-timing
#30459 by Ralf Jung's avatar build build-coq.8.11.2

00:05:00

passed #77103
master
adeaaee2
fp
#30459 by Ralf Jung's avatar build build-coq.8.12.dev

00:13:53

passed #75285
master
e193b295
fp
#29756 by Ralf Jung's avatar build build-coq.8.10.2

00:03:36

passed #75284
master
e193b295
fp-timing
#29756 by Ralf Jung's avatar build build-coq.8.11.2

00:10:22

passed #75283
master
e193b295
fp
#29756 by Ralf Jung's avatar build build-coq.8.12.dev

00:12:14

passed #75282
master
222409f1
fp
#29755 by Ralf Jung's avatar build build-coq.8.10.2

00:03:40

canceled #75281
master
222409f1
fp-timing
#29755 by Ralf Jung's avatar build build-coq.8.11.2

canceled #75280
master
222409f1
fp
#29755 by Ralf Jung's avatar build build-coq.8.12.dev

00:05:28

canceled #75279
master
cc6085ef
fp
#29754 by Ralf Jung's avatar build build-coq.8.10.2

00:01:16

canceled #75278
master
cc6085ef
fp-timing
#29754 by Ralf Jung's avatar build build-coq.8.11.1

canceled #75277
master
cc6085ef
fp
#29754 by Ralf Jung's avatar build build-coq.8.12.dev

00:01:16

passed #75002
master
842e3f65
fp
#29649 by Ralf Jung's avatar build build-coq.8.10.2

00:07:07

passed #75001
master
842e3f65
fp-timing
#29649 by Ralf Jung's avatar build build-coq.8.11.1

00:08:48

passed #75000
master
842e3f65
fp
#29649 by Ralf Jung's avatar build build-coq.dev

00:13:16

passed #72397
master
d5f678ee
fp
#28850 by Ralf Jung's avatar build build-coq.8.10.2

00:05:54

passed #72396
master
d5f678ee
fp-timing
#28850 by Ralf Jung's avatar build build-coq.8.11.1

00:05:27

passed #72395
master
d5f678ee
fp
#28850 by Ralf Jung's avatar build build-coq.dev

00:11:42

passed #72170
master
c14761bb
fp
#28743 by Ralf Jung's avatar build build-coq.8.10.2

00:06:39

passed #72169
master
c14761bb
fp-timing
#28743 by Ralf Jung's avatar build build-coq.8.11.1

00:04:30

passed #72168
master
c14761bb
fp
#28743 by Ralf Jung's avatar build build-coq.dev

00:13:30