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

00:03:23

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

00:03:25

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

00:17:51

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

00:17:03

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

00:17:11

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

00:19:30

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

00:17:48

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

00:16:25

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

00:16:13

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

00:18:04

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

00:16:24

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

00:18:31

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

00:16:42

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

00:17:47

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

00:18:34

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

00:16:29

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

00:16:29

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

00:16:59

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

00:16:44

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

00:16:16

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

00:17:06

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

00:17:16

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

00:16:51

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

00:16:58

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

00:16:35

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

00:15:09

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

00:18:30

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

00:16:30

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

00:18:00

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

00:16:52