coq
forked from coq/coq
Star 1
Fork 0
Watch
coq dev ci scripts
86 files
ci-aac_tactics.sh
ci-analysis_stdlib.sh
ci-analysis.sh
ci-argosy.sh
ci-atbr.sh
ci-autosubst_ocaml.sh
ci-autosubst.sh
ci-bedrock2_examples.sh
ci-bedrock2.sh
ci-bigenough.sh
ci-bignums.sh
ci-category_theory.sh
ci-coinduction.sh
ci-color.sh
ci-common.sh
ci-compcert.sh
ci-coq_dpdgraph.sh
ci-coq_performance_tests.sh
ci-coq_tools.sh
ci-coqhammer.sh
ci-coqprime.sh
ci-coqtail.sh
ci-coquelicot.sh
ci-coqutil.sh
ci-corn.sh
ci-deriving.sh
ci-elpi_test.sh
ci-elpi.sh
ci-engine_bench.sh
ci-equations_test.sh
ci-equations.sh
ci-ext_lib.sh
ci-fcsl_pcm.sh
ci-fiat_crypto_legacy.sh
ci-fiat_crypto_ocaml.sh
ci-fiat_crypto.sh
ci-fiat_parsers.sh
ci-finmap.sh
ci-flocq.sh
ci-fourcolor.sh
ci-hb_test.sh
ci-hb.sh
ci-hott.sh
ci-iris.sh
ci-itauto.sh
ci-itree.sh
ci-jasmin.sh
ci-lean_importer.sh
ci-ltac2_compiler.sh
ci-math_classes.sh
ci-mathcomp_test.sh
ci-mathcomp_word.sh
ci-mathcomp.sh
ci-mczify.sh
ci-menhir.sh
ci-metarocq.sh
ci-micromega.sh
ci-mltac2.sh
ci-mtac2.sh
ci-neural_net_interp.sh
ci-oddorder.sh
ci-paco.sh
ci-paramcoq.sh
ci-quickchick_test.sh
ci-quickchick.sh
ci-reduction_effects.sh
ci-refman.sh
ci-relation_algebra.sh
ci-rewriter.sh
ci-rocq_extraction_scala.sh
ci-rocq_lsp.sh
ci-rupicola.sh
ci-sf.sh
ci-simple_io.sh
ci-smtcoq.sh
ci-stalmarck.sh
ci-stdlib_doc.sh
ci-stdlib_test.sh
ci-stdlib.sh
ci-tactician.sh
ci-trakt.sh
ci-unicoq.sh
ci-unimath.sh
ci-vsrocq.sh
ci-vst.sh
ci-waterproof.sh