ci « dev - coq - the Coq proof assistant

Mode	Name	Size
-rw-r--r--	README.md	5680	log plain
-rw-r--r--	appveyor.bat	1351	log plain
-rw-r--r--	appveyor.sh	461	log plain
-rw-r--r--	ci-basic-overlay.sh	6068	log plain
-rwxr-xr-x	ci-bignums.sh	396	log plain
-rwxr-xr-x	ci-color.sh	1951	log plain
-rw-r--r--	ci-common.sh	2173	log plain
-rwxr-xr-x	ci-compcert.sh	333	log plain
-rwxr-xr-x	ci-coq-dpdgraph.sh	312	log plain
-rwxr-xr-x	ci-coquelicot.sh	307	log plain
-rwxr-xr-x	ci-cpdt.sh	175	log plain
-rwxr-xr-x	ci-equations.sh	366	log plain
-rwxr-xr-x	ci-fiat-crypto.sh	325	log plain
-rwxr-xr-x	ci-fiat-parsers.sh	289	log plain
-rwxr-xr-x	ci-flocq.sh	258	log plain
-rwxr-xr-x	ci-formal-topology.sh	722	log plain
-rwxr-xr-x	ci-geocoq.sh	321	log plain
-rwxr-xr-x	ci-hott.sh	249	log plain
-rwxr-xr-x	ci-iris-lambda-rust.sh	1384	log plain
-rwxr-xr-x	ci-ltac2.sh	261	log plain
-rwxr-xr-x	ci-math-classes.sh	485	log plain
-rwxr-xr-x	ci-math-comp.sh	452	log plain
-rwxr-xr-x	ci-metacoq.sh	493	log plain
-rwxr-xr-x	ci-sf.sh	1096	log plain
-rwxr-xr-x	ci-template.sh	312	log plain
-rwxr-xr-x	ci-tlc.sh	200	log plain
-rwxr-xr-x	ci-unimath.sh	367	log plain
-rwxr-xr-x	ci-vst.sh	405	log plain
-rwxr-xr-x	ci-wrapper.sh	709	log plain
d---------	user-overlays	315	log plain