Status Job Pipeline Stage Name Timing Coverage
passed #43812
master
4a3a6cc7
fp
#20182 by iris-dev's avatar build build-iris.dev

00:19:55

passed #43742
master
4a3a6cc7
fp
#20161 by iris-dev's avatar build build-iris.dev

00:14:39

passed #43616
master
4a3a6cc7
fp
#20132 by iris-dev's avatar build build-iris.dev

00:21:17

passed #43537
master
4a3a6cc7
fp
#20113 by iris-dev's avatar build build-iris.dev

00:14:23

passed #43504
master
4a3a6cc7
fp
#20101 by iris-dev's avatar build build-iris.dev

00:19:56

passed #43455
master
4a3a6cc7
fp
#20085 by iris-dev's avatar build build-iris.dev

00:14:25

passed #43381
master
4a3a6cc7
fp
#20059 by iris-dev's avatar build build-iris.dev

00:14:29

passed #43314
master
4a3a6cc7
fp
#20044 by iris-dev's avatar build build-iris.dev

00:14:31

passed #43281
master
4a3a6cc7
fp
#20032 by iris-dev's avatar build build-iris.dev

00:14:25

passed #43194
master
4a3a6cc7
fp
#20010 by iris-dev's avatar build build-iris.dev

00:14:24

passed #43055
master
4a3a6cc7
fp
#19989 by iris-dev's avatar build build-iris.dev

00:14:22

passed #43008
master
4a3a6cc7
fp
#19977 by iris-dev's avatar build build-iris.dev

00:14:26

passed #42939
master
4a3a6cc7
fp
#19954 by iris-dev's avatar build build-iris.dev

00:14:27

passed #42876
master
4a3a6cc7
fp
#19938 by iris-dev's avatar build build-iris.dev

00:14:32

passed #42829
master
4a3a6cc7
fp
#19926 by iris-dev's avatar build build-iris.dev

00:14:21

passed #42750
master
4a3a6cc7
fp
#19912 by iris-dev's avatar build build-iris.dev

00:14:19

passed #42682
master
4a3a6cc7
fp
#19893 by iris-dev's avatar build build-iris.dev

00:14:27

passed #42539
master
4a3a6cc7
fp
#19870 by iris-dev's avatar build build-iris.dev

00:14:22

passed #42490
master
4a3a6cc7
fp
#19857 by iris-dev's avatar build build-iris.dev

00:14:23

passed #42459
master
4a3a6cc7
fp
#19846 by iris-dev's avatar build build-iris.dev

00:20:21

passed #42423
master
4a3a6cc7
fp
#19834 by Robbert's avatar build build-coq.8.8.2

00:25:28

passed #42422
master
4a3a6cc7
fp-timing
#19834 by Robbert's avatar build build-coq.8.9.0

00:25:06

failed #42343
master
1dfbaa66
fp
#19816 by iris-dev's avatar build build-iris.dev

00:08:49

passed #42193
master
1dfbaa66
fp
#19768 by iris-dev's avatar build build-iris.dev

00:14:25

passed #42083
master
1dfbaa66
fp
#19750 by iris-dev's avatar build build-iris.dev

00:14:22

passed #41941
master
1dfbaa66
fp
#19726 by iris-dev's avatar build build-iris.dev

00:14:14

passed #41818
master
1dfbaa66
fp
#19708 by iris-dev's avatar build build-iris.dev

00:14:27

passed #41751
master
1dfbaa66
fp
#19688 by iris-dev's avatar build build-iris.dev

00:14:22

passed #41710
master
1dfbaa66
fp
#19673 by iris-dev's avatar build build-iris.dev

00:19:42

passed #41588
master
1dfbaa66
fp
#19643 by iris-dev's avatar build build-iris.dev

00:21:05