Status Name Job Pipeline Stage Duration Coverage
passed trigger-iris.dev #162952
master
b4154715
fp
#59077 by iris-dev's avatar build

00:21:40

passed build-coq.8.14.0 #162924
ci/case-mt7601u
974445ad
fp
#59058 by Fengmin Zhu's avatar build

00:13:22

canceled build-coq.8.14.0 #162863
ci/case-mt7601u
74610534
fp
#59034 by Fengmin Zhu's avatar build

00:00:10

passed trigger-iris.dev #162698
master
b4154715
fp
#58999 by iris-dev's avatar build

00:23:12

passed trigger-iris.dev #162500
master
b4154715
fp
#58936 by iris-dev's avatar build

00:21:28

passed trigger-iris.dev #162329
master
b4154715
fp
#58883 by iris-dev's avatar build

00:17:18

passed build-coq.8.14.0 #162206
ci/case-mt7601u
8dc4ea0a
fp
#58847 by Fengmin Zhu's avatar build

00:13:59

passed trigger-iris.dev #162166
master
b4154715
fp
#58833 by iris-dev's avatar build

00:22:47

passed build-coq.8.14.0 #162081
ci/case-mt7601u
10d7d14b
fp
#58797 by Fengmin Zhu's avatar build

00:21:35

canceled build-coq.8.14.0 #162071
ci/case-mt7601u
2f54122b
fp
#58792 by Fengmin Zhu's avatar build

00:00:19

passed trigger-iris.dev #161939
master
b4154715
fp
#58769 by iris-dev's avatar build

00:17:07

passed trigger-iris.dev #161882
master
b4154715
fp
#58743 by iris-dev's avatar build

00:17:03

passed build-coq.8.14.0-timing #161850
master
b4154715
fp-timing
#58718 by Rodolphe Lepigre's avatar build

00:14:01

passed trigger-iris.dev #161822
master
5ac48649
fp
#58713 by iris-dev's avatar build

00:19:53

passed trigger-iris.dev #161730
master
5ac48649
fp
#58678 by iris-dev's avatar build

00:22:41

passed build-coq.8.14.0-timing #161691
master
5ac48649
fp-timing
#58644 by Michael Sammler's avatar build

00:16:32

passed build-coq.8.14.0-timing #161685
master
b30b48c6
fp-timing
#58640 by Michael Sammler's avatar build

00:11:54

passed build-coq.8.14.0 #161684
ci/VerifyThis2021-cleanup
b30b48c6
fp
#58639 by Michael Sammler's avatar build

00:13:13

canceled build-coq.8.14.0 #161675
ci/VerifyThis2021-cleanup
579e417e
fp
#58634 by Michael Sammler's avatar build

00:18:20

passed trigger-iris.dev #161622
master
67725723
fp
#58615 by iris-dev's avatar build

00:24:53

passed build-coq.8.14.0 #161587
ci/VerifyThis2021-cleanup
712e889d
fp
#58592 by Michael Sammler's avatar build

00:13:08

passed build-coq.8.14.0 #161574
ci/VerifyThis2021-cleanup
bc9da39f
fp
#58584 by Michael Sammler's avatar build

00:15:35

passed build-coq.8.14.0 #161562
ci/VerifyThis2021-cleanup
dad222fa
fp
#58578 by Michael Sammler's avatar build

00:28:47

passed build-coq.8.14.0-timing #161464
master
67725723
fp-timing
#58533 by Michael Sammler's avatar build

00:16:19

passed trigger-iris.dev #161422
master
d103ca47
fp
#58520 by iris-dev's avatar build

00:24:04

canceled build-coq.8.14.0 #161397
ci/case-mt7601u
b0017f76
fp
#58498 by Fengmin Zhu's avatar build

00:00:09

passed trigger-iris.dev #161291
master
d103ca47
fp
#58462 by iris-dev's avatar build

00:22:14

passed build-coq.8.14.0 #161227
ci/case-mt7601u
a6c93ff0
fp
#58433 by Fengmin Zhu's avatar build

00:17:16

passed build-coq.8.14.0-timing #161212
master
d103ca47
fp-timing
#58425 by Michael Sammler's avatar build

00:11:37

passed build-coq.8.14.0 #161210
ci/tyexist_notation
d103ca47
fp
#58423 by Michael Sammler's avatar build

00:12:51