Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.14.0 #165988
ci/case-mt7601u
98d8a623
fp
#60149 by Fengmin Zhu's avatar build

00:16:07

canceled build-coq.8.14.0 #165939
ci/case-mt7601u
5f6971b0
fp
#60124 by Fengmin Zhu's avatar build

00:00:32

canceled build-coq.8.14.0 #165875
ci/case-mt7601u
02f05740
fp
#60092 by Fengmin Zhu's avatar build

00:00:13

canceled build-coq.8.14.0 #165783
ci/case-mt7601u
902983fe
fp
#60060 by Fengmin Zhu's avatar build

00:00:33

canceled build-coq.8.14.0 #165645
ci/case-mt7601u
15a19ed0
fp
#60001 by Fengmin Zhu's avatar build

00:00:01

canceled build-coq.8.14.0 #165644
ci/case-mt7601u
5e8db870
fp
#60000 by Fengmin Zhu's avatar build

00:00:21

failed build-coq.8.14.0 #165301
ci/case-mt7601u
34a18221
fp
#59898 by Michael Sammler's avatar build

00:13:11

canceled build-coq.8.14.0 #165194
ci/case-mt7601u
2e4ba78f
fp
#59863 by Fengmin Zhu's avatar build

00:00:06

passed build-coq.8.14.0-timing #164865
master
e018a89f
fp-timing
#59753 by Michael Sammler's avatar build

00:13:42

canceled build-coq.8.14.0 #164437
ci/case-mt7601u
969b6dae
fp
#59613 by Fengmin Zhu's avatar build

00:00:05

passed trigger-iris.dev #164378
master
b4154715
fp
#59600 by iris-dev's avatar build

00:17:15

passed trigger-iris.dev #164211
master
b4154715
fp
#59557 by iris-dev's avatar build

00:17:16

passed trigger-iris.dev #164140
master
b4154715
fp
#59512 by iris-dev's avatar build

00:17:18

passed trigger-iris.dev #164094
master
b4154715
fp
#59491 by iris-dev's avatar build

00:17:20

passed trigger-iris.dev #164038
master
b4154715
fp
#59468 by iris-dev's avatar build

00:21:15

passed trigger-iris.dev #163961
master
b4154715
fp
#59433 by iris-dev's avatar build

00:17:26

passed trigger-iris.dev #163891
master
b4154715
fp
#59398 by iris-dev's avatar build

00:17:05

passed trigger-iris.dev #163780
master
b4154715
fp
#59358 by iris-dev's avatar build

00:17:28

passed trigger-iris.dev #163689
master
b4154715
fp
#59329 by iris-dev's avatar build

00:17:05

passed trigger-iris.dev #163644
master
b4154715
fp
#59309 by iris-dev's avatar build

00:16:53

passed trigger-iris.dev #163600
master
b4154715
fp
#59290 by iris-dev's avatar build

00:17:10

passed trigger-iris.dev #163553
master
b4154715
fp
#59269 by iris-dev's avatar build

00:17:04

passed trigger-iris.dev #163422
master
b4154715
fp
#59234 by iris-dev's avatar build

00:23:17

passed trigger-iris.dev #163307
master
b4154715
fp
#59198 by iris-dev's avatar build

00:17:05

passed trigger-iris.dev #163187
master
b4154715
fp
#59156 by iris-dev's avatar build

00:17:10

passed build-coq.8.14.0 #163154
ci/case-mt7601u
0e28dd03
fp
#59133 by Fengmin Zhu's avatar build

00:13:29

passed build-coq.8.14.0 #163153
ci/case-mt7601u
a4f55fd5
fp
#59132 by Fengmin Zhu's avatar build

00:13:31

passed trigger-iris.dev #163093
master
b4154715
fp
#59122 by iris-dev's avatar build

00:17:28

canceled build-coq.8.14.0 #163078
ci/case-mt7601u
a5d13741
fp
#59108 by Fengmin Zhu's avatar build

00:00:19

passed trigger-iris.dev #162996
master
b4154715
fp
#59096 by iris-dev's avatar build

00:16:55