aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci
ModeNameSize
-rw-r--r--README.md5796logplain
-rw-r--r--appveyor.bat1373logplain
-rw-r--r--appveyor.sh465logplain
-rw-r--r--ci-basic-overlay.sh6472logplain
-rwxr-xr-xci-bignums.sh391logplain
-rwxr-xr-xci-color.sh232logplain
-rw-r--r--ci-common.sh2964logplain
-rwxr-xr-xci-compcert.sh340logplain
-rwxr-xr-xci-coq-dpdgraph.sh307logplain
-rwxr-xr-xci-coquelicot.sh316logplain
-rwxr-xr-xci-corn.sh229logplain
-rwxr-xr-xci-cpdt.sh171logplain
-rwxr-xr-xci-elpi.sh229logplain
-rwxr-xr-xci-equations.sh337logplain
-rwxr-xr-xci-fiat-crypto.sh334logplain
-rwxr-xr-xci-fiat-parsers.sh296logplain
-rwxr-xr-xci-flocq.sh267logplain
-rwxr-xr-xci-formal-topology.sh279logplain
-rwxr-xr-xci-geocoq.sh328logplain
-rwxr-xr-xci-hott.sh244logplain
-rwxr-xr-xci-iris-lambda-rust.sh1546logplain
-rwxr-xr-xci-ltac2.sh249logplain
-rwxr-xr-xci-math-classes.sh277logplain
-rwxr-xr-xci-math-comp.sh455logplain
-rwxr-xr-xci-metacoq.sh506logplain
-rwxr-xr-xci-sf.sh529logplain
-rwxr-xr-xci-template.sh319logplain
-rwxr-xr-xci-tlc.sh207logplain
-rwxr-xr-xci-unimath.sh373logplain
-rwxr-xr-xci-vst.sh412logplain
-rwxr-xr-xci-wrapper.sh752logplain
d---------user-overlays154logplain