aboutsummaryrefslogtreecommitdiffhomepage
path: root/Makefile.ci
Commit message (Expand)AuthorAge
* [travis] [External CI] fiat-parsersGravatar Emilio Jesus Gallego Arias2017-02-24
* [travis] [External CI] CompCert official 8.6 support + UniMathGravatar Emilio Jesus Gallego Arias2017-02-15
* [travis] [External CI] GeoCoqGravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] Move ci files from `tools` to `dev`.Gravatar Maxime Dénès2017-02-07
* [travis] [External CI] C-Corn color coquelicot cpdt fiat-crypto floqc iris-co...Gravatar Emilio Jesus Gallego Arias2017-02-07
* [travis] [External CI] Script renaming.Gravatar Emilio Jesus Gallego Arias2017-02-07
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-30 06:06:28 +0000