ci « dev - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	README-developers.md	8914	log plain
-rw-r--r--	README-users.md	4933	log plain
-rw-r--r--	README.md	949	log plain
-rwxr-xr-x	azure-build.sh	110	log plain
-rwxr-xr-x	azure-opam.sh	414	log plain
-rwxr-xr-x	azure-test.sh	176	log plain
-rwxr-xr-x	ci-aac_tactics.sh	161	log plain
-rwxr-xr-x	ci-argosy.sh	190	log plain
-rwxr-xr-x	ci-basic-overlay.sh	13366	log plain
-rwxr-xr-x	ci-bbv.sh	145	log plain
-rwxr-xr-x	ci-bedrock2.sh	295	log plain
-rwxr-xr-x	ci-bignums.sh	172	log plain
-rwxr-xr-x	ci-color.sh	176	log plain
-rw-r--r--	ci-common.sh	4233	log plain
-rwxr-xr-x	ci-compcert.sh	410	log plain
-rwxr-xr-x	ci-coq_dpdgraph.sh	193	log plain
-rwxr-xr-x	ci-coq_performance_tests.sh	436	log plain
-rwxr-xr-x	ci-coq_tools.sh	361	log plain
-rwxr-xr-x	ci-coqhammer.sh	141	log plain
-rwxr-xr-x	ci-coqprime.sh	197	log plain
-rwxr-xr-x	ci-coqtail.sh	178	log plain
-rwxr-xr-x	ci-coquelicot.sh	253	log plain
-rwxr-xr-x	ci-corn.sh	208	log plain
-rwxr-xr-x	ci-cross_crypto.sh	202	log plain
-rwxr-xr-x	ci-deriving.sh	169	log plain
-rwxr-xr-x	ci-elpi.sh	247	log plain
-rwxr-xr-x	ci-engine_bench.sh	224	log plain
-rwxr-xr-x	ci-equations.sh	225	log plain
-rwxr-xr-x	ci-ext_lib.sh	152	log plain
-rwxr-xr-x	ci-fcsl_pcm.sh	139	log plain
-rwxr-xr-x	ci-fiat_crypto.sh	973	log plain
-rwxr-xr-x	ci-fiat_crypto_legacy.sh	668	log plain
-rwxr-xr-x	ci-fiat_crypto_ocaml.sh	296	log plain
-rwxr-xr-x	ci-fiat_parsers.sh	245	log plain
-rwxr-xr-x	ci-flocq.sh	274	log plain
-rwxr-xr-x	ci-fourcolor.sh	157	log plain
-rwxr-xr-x	ci-gappa.sh	464	log plain
-rwxr-xr-x	ci-geocoq.sh	153	log plain
-rwxr-xr-x	ci-hott.sh	276	log plain
-rwxr-xr-x	ci-interval.sh	284	log plain
-rwxr-xr-x	ci-iris.sh	1176	log plain
-rwxr-xr-x	ci-math_classes.sh	181	log plain
-rwxr-xr-x	ci-mathcomp.sh	218	log plain
-rwxr-xr-x	ci-menhir.sh	359	log plain
-rwxr-xr-x	ci-metacoq.sh	245	log plain
-rwxr-xr-x	ci-mtac2.sh	176	log plain
-rwxr-xr-x	ci-oddorder.sh	155	log plain
-rwxr-xr-x	ci-paramcoq.sh	188	log plain
-rwxr-xr-x	ci-perennial.sh	256	log plain
-rwxr-xr-x	ci-quickchick.sh	165	log plain
-rwxr-xr-x	ci-reduction_effects.sh	185	log plain
-rwxr-xr-x	ci-relation_algebra.sh	171	log plain
-rwxr-xr-x	ci-rewriter.sh	197	log plain
-rwxr-xr-x	ci-sf.sh	256	log plain
-rwxr-xr-x	ci-simple_io.sh	162	log plain
-rwxr-xr-x	ci-stdlib2.sh	171	log plain
-rwxr-xr-x	ci-tlc.sh	145	log plain
-rwxr-xr-x	ci-unicoq.sh	194	log plain
-rwxr-xr-x	ci-unimath.sh	193	log plain
-rwxr-xr-x	ci-verdi_raft.sh	552	log plain
-rwxr-xr-x	ci-vst.sh	256	log plain
-rwxr-xr-x	ci-wrapper.sh	580	log plain
d---------	docker	74	log plain
d---------	nix	1133	log plain
-rwxr-xr-x	platform-windows.bat	2541	log plain
d---------	user-overlays	1013	log plain