Status Name Job Pipeline Stage Duration Coverage
passed plugin:ci-vscoq #2000857784
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:53

failed plugin:ci-rewriter #2000857782
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:39

failed plugin:ci-relation_algebra #2000857780
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:12

passed plugin:ci-reduction_effects #2000857778
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:01

passed plugin:ci-quickchick #2000857777
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:09:07

passed plugin:plugin-tutorial #2000857775
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:05:28

failed plugin:ci-perennial #2000857774
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:48

passed plugin:ci-paramcoq #2000857772
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:06:38

passed plugin:ci-mtac2 #2000857770
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:04:59

failed plugin:ci-metacoq #2000857767
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:30

failed plugin:ci-fiat_parsers #2000857765
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:08:40

passed plugin:ci-equations #2000857763
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:07:41

running plugin:ci-elpi #2000857762
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:39:16

passed plugin:ci-coqhammer #2000857760
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:59

failed plugin:ci-coq_dpdgraph #2000857759
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:09

passed plugin:ci-bignums #2000857758
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:05:03

passed plugin:ci-itauto #2000857756
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:05:27

passed plugin:ci-aac_tactics #2000857755
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:15

passed library:ci-deriving #2000857754
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:04:26

failed library:ci-vst #2000857753
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:29

failed library:ci-verdi_raft #2000857752
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:05:59

failed library:ci-unimath #2000857750
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:27

running library:ci-tlc #2000857748
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:39:16

passed library:ci-stdlib2 #2000857745
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:23

failed library:ci-sf #2000857740
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:35

passed library:ci-bigenough #2000857734
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:16

passed library:ci-finmap #2000857733
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:03:53

passed library:ci-mathcomp_base #2000857731
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:19:29

passed library:ci-mczify #2000857730
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:04:10

passed library:ci-mathcomp #2000857727
pr-15518
c90f55bc
#453323046 by coqbot's avatar build

00:21:53