Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.14.0-timing #151491
master
0b843fa1
fp-timing
#55464 by Michael Sammler's avatar build

00:13:56

passed build-coq.8.14.0-timing #151488
time/coq-8.14.0
0b843fa1
fp-timing
#55462 by Michael Sammler's avatar build

00:14:00

passed build-coq.8.14.0-timing #151473
time/coq-8.14.0
13f8a8c4
fp-timing
#55458 by Michael Sammler's avatar build

00:34:13

canceled build-coq.8.14.0-timing #151472
time/coq-8.14.0
bdcde186
fp-timing
#55457 by Michael Sammler's avatar build

00:04:58

passed build-coq.8.13.2 #151469
ci/case-mt7601u
0bc4b496
fp
#55455 by Fengmin Zhu's avatar build

00:14:44

failed build-coq.8.14.0-timing #151466
time/coq-8.14.0
08d637c9
fp-timing
#55453 by Michael Sammler's avatar build

00:28:51

failed build-coq.8.14.0-timing #151465
time/coq-8.14.0
df43a673
fp-timing
#55452 by Michael Sammler's avatar build

00:20:14

passed trigger-iris.dev #151434
master
aa80dd32
fp
#55445 by iris-dev's avatar build

00:30:24

failed build-coq.8.13.2 #151418
ci/case-mt7601u
f5259af3
fp
#55431 by Fengmin Zhu's avatar build

00:12:05

passed build-coq.8.13.2 #151387
ci/case-mt7601u
7b3326a2
fp
#55423 by Fengmin Zhu's avatar build

00:26:28

failed build-coq.8.13.2 #151346
ci/case-mt7601u
579e54d8
fp
#55414 by Fengmin Zhu's avatar build

00:17:38

passed build-coq.8.13.2-timing #151284
master
aa80dd32
fp-timing
#55401 by Michael Sammler's avatar build

00:23:24

passed trigger-iris.dev #151256
master
7695877b
fp
#55396 by iris-dev's avatar build

00:30:04

passed trigger-iris.dev #151172
master
7695877b
fp
#55363 by iris-dev's avatar build

00:29:49

passed trigger-iris.dev #151111
master
7695877b
fp
#55333 by iris-dev's avatar build

00:29:23

passed build-coq.8.13.2-timing #151056
master
7695877b
fp-timing
#55291 by Michael Sammler's avatar build

00:13:16

passed build-coq.8.13.2-timing #151052
master
a48c304d
fp-timing
#55287 by Michael Sammler's avatar build

00:12:52

failed build-coq.8.13.2-timing #151051
master
1e70835b
fp-timing
#55286 by Michael Sammler's avatar build

00:05:31

passed build-coq.8.13.2-timing #150879
master
68e1a9ac
fp-timing
#55246 by Michael Sammler's avatar build

00:13:37

passed build-coq.8.13.2-timing #150795
master
d7b0f050
fp-timing
#55231 by Michael Sammler's avatar build

00:13:38

passed build-coq.8.13.2 #150792
ci/bits-auto-simpl
a61dd3c9
fp
#55228 by Michael Sammler's avatar build

00:15:51

passed build-coq.8.13.2-timing #150791
master
bd28ab82
fp-timing
#55227 by Michael Sammler's avatar build

00:13:55

passed build-coq.8.13.2-timing #150785
master
bcf29bb3
fp-timing
#55223 by Michael Sammler's avatar build

00:13:56

passed trigger-iris.dev #150754
master
089ad9e8
fp
#55216 by iris-dev's avatar build

00:31:21

passed build-coq.8.13.2 #150707
ci/bits-auto-simpl
536f28b5
fp
#55194 by Fengmin Zhu's avatar build

00:15:18

passed build-coq.8.13.2 #150663
ci/bits-auto-simpl
e68f3c34
fp
#55188 by Fengmin Zhu's avatar build

00:15:07

passed build-coq.8.13.2-timing #150600
master
089ad9e8
fp-timing
#55175 by Michael Sammler's avatar build

00:13:27

passed trigger-iris.dev #150573
master
8b923b0b
fp
#55171 by iris-dev's avatar build

00:31:13

passed build-coq.8.13.2-timing #150535
master
8b923b0b
fp-timing
#55146 by Rodolphe Lepigre's avatar build

00:13:36

passed build-coq.8.13.2-timing #150534
time/simpl_exist_forall
16a7f909
fp-timing
#55145 by Michael Sammler's avatar build

00:13:18