Status Name Job Pipeline Stage Duration Coverage
passed build-coq.8.8.2 #25177
gen_proofmode_WIP
54a3198d
fp
#15034 by Hai Dang's avatar build

00:16:10

passed build-coq.8.8.2 #24764
gen_proofmode_WIP
404deb03
fp
#14894 by Ralf Jung's avatar build

00:11:41

failed build-iris.dev #24691
gen_proofmode_WIP
c5a47039
fp
#14876 by Hai Dang's avatar build

00:05:46

passed build-iris.dev #24475
gen_proofmode_WIP
c5a47039
fp
#14821 by Hai Dang's avatar build

00:13:02

passed build-iris.dev #24279
gen_proofmode_WIP
c5a47039
fp
#14761 by Hai Dang's avatar build

00:17:28

passed build-iris.dev #24135
gen_proofmode_WIP
c5a47039
fp
#14692 by Hai Dang's avatar build

00:17:07

passed build-iris.dev #24106
gen_proofmode_WIP
c5a47039
fp
#14670 by Hai Dang's avatar build

00:13:23

passed build-iris.dev #24059
gen_proofmode_WIP
c5a47039
fp
#14658 by Hai Dang's avatar build

00:13:08

passed build-iris.dev #23943
gen_proofmode_WIP
c5a47039
fp
#14619 by Hai Dang's avatar build

00:13:08

passed build-iris.dev #23854
gen_proofmode_WIP
c5a47039
fp
#14597 by Hai Dang's avatar build

00:17:31

passed build-iris.dev #23776
gen_proofmode_WIP
c5a47039
fp
#14565 by Hai Dang's avatar build

00:13:23

passed build-iris.dev #23761
gen_proofmode_WIP
c5a47039
fp
#14552 by Hai Dang's avatar build

00:13:01

passed build-iris.dev #23658
gen_proofmode_WIP
c5a47039
fp
#14526 by Hai Dang's avatar build

00:16:46

passed build-iris.dev #23640
gen_proofmode_WIP
c5a47039
fp
#14515 by Hai Dang's avatar build

00:12:51

passed build-iris.dev #23598
gen_proofmode_WIP
c5a47039
fp
#14503 by Hai Dang's avatar build

00:13:12

passed build-iris.dev #23556
gen_proofmode_WIP
c5a47039
fp
#14482 by Hai Dang's avatar build

00:17:16

canceled build-iris.dev #23548
gen_proofmode_WIP
214df1fa
fp
#14449 by Hai Dang's avatar build

00:00:05

passed build-coq.8.8.2 #23532
gen_proofmode_WIP
c5a47039
fp-timing
#14471 by Hai Dang's avatar build

00:15:41

failed build-iris.dev #23462
gen_proofmode_WIP
214df1fa
fp
#14449 by Hai Dang's avatar build

00:15:51

passed build-iris.dev #23358
gen_proofmode_WIP
214df1fa
fp
#14426 by Hai Dang's avatar build

00:16:16

passed build-iris.dev #23296
gen_proofmode_WIP
214df1fa
fp
#14405 by Hai Dang's avatar build

00:13:05

passed build-iris.dev #23281
gen_proofmode_WIP
214df1fa
fp
#14392 by Hai Dang's avatar build

00:16:26

passed build-iris.dev #23259
gen_proofmode_WIP
214df1fa
fp
#14378 by Hai Dang's avatar build

00:12:47

passed build-iris.dev #23249
gen_proofmode_WIP
214df1fa
fp
#14368 by Hai Dang's avatar build

00:18:17

passed build-coq.8.8.2 #23171
gen_proofmode_WIP
214df1fa
fp-timing
#14327 by Ralf Jung's avatar build

00:12:03

passed build-iris.dev #23083
gen_proofmode_WIP
e9312c57
fp
#14300 by Hai Dang's avatar build

00:16:30

passed build-coq.8.8.2 #23046
gen_proofmode_WIP
e9312c57
fp-timing
#14288 by Hai Dang's avatar build

00:15:41

failed build-iris.dev #23028
gen_proofmode_WIP
cf17ca4c
fp
#14282 by Hai Dang's avatar build

00:15:59

passed build-coq.8.8.2 #22975
gen_proofmode_WIP
cf17ca4c
fp-timing
#14258 by Hai Dang's avatar build

00:11:42

failed build-iris.dev #22965
gen_proofmode_WIP
0652693e
fp
#14252 by Hai Dang's avatar build

00:15:45