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

00:16:10

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

00:11:41

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

00:05:46

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

00:13:02

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

00:17:28

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

00:17:07

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

00:13:23

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

00:13:08

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

00:13:08

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

00:17:31

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

00:13:23

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

00:13:01

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

00:16:46

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

00:12:51

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

00:13:12

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

00:17:16

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

00:00:05

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

00:15:41

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

00:15:51

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

00:16:16

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

00:13:05

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

00:16:26

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

00:12:47

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

00:18:17

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

00:12:03

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

00:16:30

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

00:15:41

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

00:15:59

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

00:11:42

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

00:15:45