Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.13.2 #187320
master
2a7ee1ab
fp
#65621 by Ralf Jung's avatar build

00:20:00

passed build-coq.8.14.1 #187319
master
2a7ee1ab
fp
#65621 by Ralf Jung's avatar build

00:20:48

passed trigger-iris.dev #184619
master
eb8a97db
fp
#65091 by iris-dev's avatar build

00:21:19

passed trigger-iris.dev #184370
master
eb8a97db
fp
#65039 by iris-dev's avatar build

00:32:51

passed trigger-iris.dev #184320
master
eb8a97db
fp
#65015 by iris-dev's avatar build

00:21:15

passed trigger-iris.dev #184272
master
eb8a97db
fp
#64993 by iris-dev's avatar build

00:20:50

passed trigger-iris.dev #184178
master
eb8a97db
fp
#64925 by iris-dev's avatar build

00:21:00

passed trigger-iris.dev #184030
master
eb8a97db
fp
#64858 by iris-dev's avatar build

00:20:55

passed trigger-iris.dev #183367
master
eb8a97db
fp
#64756 by iris-dev's avatar build

00:21:19

passed trigger-iris.dev #183191
master
eb8a97db
fp
#64689 by iris-dev's avatar build

00:21:23

passed trigger-iris.dev #183037
master
eb8a97db
fp
#64631 by iris-dev's avatar build

00:21:02

passed trigger-iris.dev #182888
master
eb8a97db
fp
#64580 by iris-dev's avatar build

00:20:54

passed trigger-iris.dev #182811
master
eb8a97db
fp
#64554 by iris-dev's avatar build

00:20:59

passed trigger-iris.dev #182752
master
eb8a97db
fp
#64522 by iris-dev's avatar build

00:21:10

passed trigger-iris.dev #182536
master
eb8a97db
fp
#64457 by iris-dev's avatar build

00:21:00

passed trigger-iris.dev #181910
master
eb8a97db
fp
#64364 by iris-dev's avatar build

00:21:11

passed trigger-iris.dev #181717
master
eb8a97db
fp
#64314 by iris-dev's avatar build

00:20:52

passed trigger-iris.dev #181642
master
eb8a97db
fp
#64270 by iris-dev's avatar build

00:21:33

passed trigger-iris.dev #181529
master
eb8a97db
fp
#64238 by iris-dev's avatar build

00:20:47

passed trigger-iris.dev #181424
master
eb8a97db
fp
#64212 by iris-dev's avatar build

00:20:48

passed trigger-iris.dev #181337
master
eb8a97db
fp
#64151 by iris-dev's avatar build

00:21:02

passed trigger-iris.dev #181195
master
eb8a97db
fp
#64110 by iris-dev's avatar build

00:20:56

passed trigger-iris.dev #181000
master
eb8a97db
fp
#64071 by iris-dev's avatar build

00:20:37

passed trigger-iris.dev #180865
master
eb8a97db
fp
#64030 by iris-dev's avatar build

00:21:31

passed trigger-iris.dev #180700
master
eb8a97db
fp
#63994 by iris-dev's avatar build

00:21:16

passed trigger-iris.dev #180379
master
eb8a97db
fp
#63944 by iris-dev's avatar build

00:21:36

passed trigger-iris.dev #180332
master
eb8a97db
fp
#63923 by iris-dev's avatar build

00:22:17

passed trigger-iris.dev #180232
master
eb8a97db
fp
#63897 by iris-dev's avatar build

00:22:11

passed trigger-iris.dev #180070
master
eb8a97db
fp
#63865 by iris-dev's avatar build

00:21:24

passed trigger-iris.dev #179699
master
eb8a97db
fp
#63806 by iris-dev's avatar build

00:20:49