Status Job Pipeline Stage Name Timing Coverage
passed #70301
master
c1c055c3
fp
#28156 by iris-dev's avatar build build-iris.dev

00:27:20

passed #70148
master
c1c055c3
fp-timing
#28085 by Ralf Jung's avatar build build-coq.8.11.1

00:13:42

passed #70108
master
06c786d6
fp
#28072 by iris-dev's avatar build build-iris.dev

00:27:27

passed #69926
master
06c786d6
fp
#28009 by iris-dev's avatar build build-iris.dev

00:26:36

passed #69662
master
06c786d6
fp
#27960 by iris-dev's avatar build build-iris.dev

00:25:45

passed #69547
master
06c786d6
fp
#27924 by iris-dev's avatar build build-iris.dev

00:25:32

passed #69499
master
06c786d6
fp
#27903 by iris-dev's avatar build build-iris.dev

00:26:31

passed #69273
master
06c786d6
fp
#27832 by iris-dev's avatar build build-iris.dev

00:25:51

passed #69043
master
06c786d6
fp
#27764 by iris-dev's avatar build build-iris.dev

00:25:01

passed #68695
master
06c786d6
fp
#27703 by iris-dev's avatar build build-iris.dev

00:23:39

passed #68597
master
06c786d6
fp
#27671 by Ralf Jung's avatar build build-iris.dev

00:24:04

passed #68564
master
06c786d6
fp
#27649 by Ralf Jung's avatar build build-iris.dev

00:27:18

passed #68494
master
06c786d6
fp
#27632 by iris-dev's avatar build build-iris.dev

00:22:46

passed #68352
master
06c786d6
fp
#27584 by iris-dev's avatar build build-iris.dev

00:23:00

passed #68266
master
06c786d6
fp
#27560 by iris-dev's avatar build build-iris.dev

00:22:44

passed #68168
master
06c786d6
fp
#27538 by iris-dev's avatar build build-iris.dev

00:23:56

passed #68133
master
06c786d6
fp-timing
#27518 by Ralf Jung's avatar build build-coq.8.11.1

00:11:47

passed #68010
master
53cc3d7f
fp
#27494 by iris-dev's avatar build build-iris.dev

00:22:47

passed #67968
master
53cc3d7f
fp-timing
#27470 by Ralf Jung's avatar build build-coq.8.11.1

00:07:01

failed #67967
master
6382ac89
fp-timing
#27469 by Ralf Jung's avatar build build-coq.8.11.1

00:03:59

passed #67843
master
1ad7fe2f
fp
#27406 by iris-dev's avatar build build-iris.dev

00:24:35

passed #67590
master
1ad7fe2f
fp
#27340 by iris-dev's avatar build build-iris.dev

00:23:50

passed #67426
master
1ad7fe2f
fp
#27253 by iris-dev's avatar build build-iris.dev

00:22:47

passed #67151
master
1ad7fe2f
fp
#27197 by iris-dev's avatar build build-iris.dev

00:23:56

passed #67082
master
1ad7fe2f
fp
#27173 by iris-dev's avatar build build-iris.dev

00:22:51

passed #66953
master
1ad7fe2f
fp
#27137 by iris-dev's avatar build build-iris.dev

00:24:44

passed #66648
master
1ad7fe2f
fp
#27074 by iris-dev's avatar build build-iris.dev

00:25:57

passed #66556
master
1ad7fe2f
fp-timing
#27044 by Ralf Jung's avatar build build-coq.8.11.1

00:12:38

passed #66532
master
a6d9b7d0
fp-timing
#27030 by Ralf Jung's avatar build build-coq.8.11.1

00:12:28

passed #66467
master
99f8ad18
fp
#27009 by iris-dev's avatar build build-iris.dev

00:25:08