ci « dev - coq - The formal proof system

Mode	Name	Size
-rw-r--r--	README-developers.md	8928	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	93	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	17496	log plain
-rwxr-xr-x	ci-bbv.sh	145	log plain
-rwxr-xr-x	ci-bedrock2.sh	252	log plain
-rwxr-xr-x	ci-bignums.sh	172	log plain
-rwxr-xr-x	ci-color.sh	133	log plain
-rw-r--r--	ci-common.sh	3558	log plain
-rwxr-xr-x	ci-compcert.sh	283	log plain
-rwxr-xr-x	ci-coq_dpdgraph.sh	193	log plain
-rwxr-xr-x	ci-coq_performance_tests.sh	214	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	154	log plain
-rwxr-xr-x	ci-coqtail.sh	178	log plain
-rwxr-xr-x	ci-coquelicot.sh	214	log plain
-rwxr-xr-x	ci-corn.sh	165	log plain
-rwxr-xr-x	ci-cross_crypto.sh	202	log plain
-rwxr-xr-x	ci-elpi.sh	227	log plain
-rwxr-xr-x	ci-engine_bench.sh	175	log plain
-rwxr-xr-x	ci-equations.sh	182	log plain
-rwxr-xr-x	ci-ext_lib.sh	152	log plain
-rwxr-xr-x	ci-fcsl_pcm.sh	158	log plain
-rwxr-xr-x	ci-fiat_crypto.sh	930	log plain
-rwxr-xr-x	ci-fiat_crypto_legacy.sh	625	log plain
-rwxr-xr-x	ci-fiat_crypto_ocaml.sh	253	log plain
-rwxr-xr-x	ci-fiat_parsers.sh	202	log plain
-rwxr-xr-x	ci-flocq.sh	197	log plain
-rwxr-xr-x	ci-geocoq.sh	169	log plain
-rwxr-xr-x	ci-hott.sh	196	log plain
-rwxr-xr-x	ci-lambda_rust.sh	839	log plain
-rwxr-xr-x	ci-math_classes.sh	181	log plain
-rwxr-xr-x	ci-mathcomp.sh	349	log plain
-rwxr-xr-x	ci-metacoq.sh	202	log plain
-rwxr-xr-x	ci-mtac2.sh	176	log plain
-rwxr-xr-x	ci-paramcoq.sh	188	log plain
-rwxr-xr-x	ci-perennial.sh	279	log plain
-rwxr-xr-x	ci-quickchick.sh	177	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	154	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	150	log plain
-rwxr-xr-x	ci-verdi_raft.sh	552	log plain
-rwxr-xr-x	ci-vst.sh	176	log plain
-rwxr-xr-x	ci-wrapper.sh	580	log plain
d---------	docker	74	log plain
-rwxr-xr-x	gitlab.bat	3856	log plain
d---------	nix	1092	log plain
d---------	user-overlays	1425	log plain