Status Job Pipeline Stage Name Timing Coverage
passed #73492
master
af175ba7
fp
#29170 by iris-dev's avatar build build-iris.dev

00:18:14

passed #73400
master
af175ba7
fp
#29137 by iris-dev's avatar build build-iris.dev

00:20:13

passed #73290
master
af175ba7
fp
#29096 by iris-dev's avatar build build-iris.dev

00:18:10

passed #72997
master
af175ba7
fp
#29048 by iris-dev's avatar build build-iris.dev

00:18:21

passed #72908
master
af175ba7
fp
#29012 by iris-dev's avatar build build-iris.dev

00:18:46

passed #72671
master
af175ba7
fp
#28965 by iris-dev's avatar build build-iris.dev

00:18:28

passed #72595
master
af175ba7
fp
#28938 by iris-dev's avatar build build-iris.dev

00:18:51

passed #72536
master
af175ba7
fp
#28913 by iris-dev's avatar build build-iris.dev

00:19:24

passed #72471
master
af175ba7
fp
#28886 by iris-dev's avatar build build-iris.dev

00:18:05

passed #72405
master
af175ba7
fp
#28855 by Robbert's avatar build build-coq.8.10.1

00:09:26

passed #72404
master
af175ba7
fp
#28855 by Robbert's avatar build build-coq.8.11.0

00:09:13

failed #72403
master
426f1417
fp
#28854 by Robbert's avatar build build-coq.8.10.1

00:01:26

failed #72402
master
426f1417
fp
#28854 by Robbert's avatar build build-coq.8.11.0

00:01:24

failed #72394
master
285fe0ab
fp
#28849 by Ralf Jung's avatar build build-iris.dev

00:15:12

failed #72316
master
285fe0ab
fp
#28813 by iris-dev's avatar build build-iris.dev

00:15:47

passed #72178
master
285fe0ab
fp
#28748 by iris-dev's avatar build build-iris.dev

00:16:55

passed #72062
master
285fe0ab
fp
#28703 by iris-dev's avatar build build-iris.dev

00:16:58

passed #71900
master
285fe0ab
fp
#28659 by iris-dev's avatar build build-iris.dev

00:18:21

passed #71798
master
285fe0ab
fp
#28616 by iris-dev's avatar build build-iris.dev

00:18:29

passed #71712
master
285fe0ab
fp
#28576 by iris-dev's avatar build build-iris.dev

00:17:30

passed #71617
master
285fe0ab
fp
#28543 by iris-dev's avatar build build-iris.dev

00:17:02

passed #71481
master
285fe0ab
fp
#28492 by iris-dev's avatar build build-iris.dev

00:17:21

passed #71297
master
285fe0ab
fp
#28452 by iris-dev's avatar build build-iris.dev

00:17:04

passed #71161
master
285fe0ab
fp
#28407 by iris-dev's avatar build build-iris.dev

00:17:23

passed #70971
master
285fe0ab
fp
#28368 by iris-dev's avatar build build-iris.dev

00:17:22

passed #70823
master
285fe0ab
fp
#28305 by iris-dev's avatar build build-iris.dev

00:17:02

passed #70774
master
285fe0ab
fp
#28285 by iris-dev's avatar build build-iris.dev

00:19:26

passed #70687
master
285fe0ab
fp
#28257 by iris-dev's avatar build build-iris.dev

00:19:33

passed #70440
master
285fe0ab
fp
#28210 by iris-dev's avatar build build-iris.dev

00:19:17

passed #70297
master
285fe0ab
fp
#28152 by iris-dev's avatar build build-iris.dev

00:19:22