Status Job Pipeline Stage Name Timing Coverage
passed #110344
master
f903bf93
fp
#40667 by Ralf Jung's avatar build build-coq.8.11.2

00:03:23

passed #110343
master
f903bf93
fp
#40667 by Ralf Jung's avatar build build-coq.8.12.0

00:03:25

passed #110294
master
11b7bc6a
fp
#40646 by iris-dev's avatar build build-iris.dev

00:17:51

passed #110200
master
11b7bc6a
fp
#40599 by iris-dev's avatar build build-iris.dev

00:17:03

passed #110127
master
11b7bc6a
fp
#40567 by iris-dev's avatar build build-iris.dev

00:17:11

passed #110080
master
11b7bc6a
fp
#40547 by iris-dev's avatar build build-iris.dev

00:19:30

passed #109944
master
11b7bc6a
fp
#40471 by iris-dev's avatar build build-iris.dev

00:17:48

passed #109848
master
11b7bc6a
fp
#40428 by iris-dev's avatar build build-iris.dev

00:16:25

passed #109652
master
11b7bc6a
fp
#40369 by iris-dev's avatar build build-iris.dev

00:16:13

passed #109566
master
11b7bc6a
fp
#40325 by iris-dev's avatar build build-iris.dev

00:18:04

passed #109454
master
11b7bc6a
fp
#40279 by iris-dev's avatar build build-iris.dev

00:16:24

passed #109406
master
11b7bc6a
fp
#40258 by iris-dev's avatar build build-iris.dev

00:18:31

passed #109358
master
11b7bc6a
fp
#40237 by iris-dev's avatar build build-iris.dev

00:16:42

passed #109265
master
11b7bc6a
fp
#40201 by iris-dev's avatar build build-iris.dev

00:17:47

passed #109124
master
11b7bc6a
fp
#40150 by iris-dev's avatar build build-iris.dev

00:18:34

passed #109069
master
11b7bc6a
fp
#40123 by iris-dev's avatar build build-iris.dev

00:16:29

passed #108968
master
11b7bc6a
fp
#40082 by iris-dev's avatar build build-iris.dev

00:16:29

passed #108857
master
11b7bc6a
fp
#40034 by iris-dev's avatar build build-iris.dev

00:16:59

passed #108810
master
11b7bc6a
fp
#40014 by iris-dev's avatar build build-iris.dev

00:16:44

passed #108745
master
11b7bc6a
fp
#39991 by iris-dev's avatar build build-iris.dev

00:16:16

passed #108698
master
11b7bc6a
fp
#39971 by iris-dev's avatar build build-iris.dev

00:17:06

passed #108648
master
11b7bc6a
fp
#39948 by iris-dev's avatar build build-iris.dev

00:17:16

passed #108573
master
11b7bc6a
fp
#39926 by iris-dev's avatar build build-iris.dev

00:16:51

passed #108522
master
11b7bc6a
fp
#39902 by iris-dev's avatar build build-iris.dev

00:16:58

passed #108476
master
11b7bc6a
fp
#39878 by iris-dev's avatar build build-iris.dev

00:16:35

passed #108425
master
11b7bc6a
fp
#39857 by iris-dev's avatar build build-iris.dev

00:15:09

passed #108378
master
11b7bc6a
fp
#39838 by iris-dev's avatar build build-iris.dev

00:18:30

passed #108331
master
11b7bc6a
fp
#39817 by iris-dev's avatar build build-iris.dev

00:16:30

passed #108242
master
11b7bc6a
fp
#39791 by iris-dev's avatar build build-iris.dev

00:18:00

passed #108147
master
11b7bc6a
fp
#39748 by iris-dev's avatar build build-iris.dev

00:16:52