aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci
Commit message (Expand)AuthorAge
* Merge PR#568: Remove tactic compatibility layerGravatar Maxime Dénès2017-04-27
|\
* \ Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-04-27
|\ \
| | * Adding a dedicated travis overlay for fiat-parsers.Gravatar Pierre-Marie Pédrot2017-04-24
| |/ |/|
| * Add bedrock targets src and facadeGravatar Jason Gross2017-04-20
* | Merge branch 'v8.6' into trunkGravatar Maxime Dénès2017-04-15
|\|
| * [travis] Use the lite target for fiat-crypto.Gravatar Maxime Dénès2017-04-14
* | [travis] Overlay for PR#461: Camlp4 removal.Gravatar Emilio Jesus Gallego Arias2017-04-07
| * [travis] Backport from trunk: VSTGravatar Emilio Jesus Gallego Arias2017-03-24
* | [travis] Add VSTGravatar Emilio Jesus Gallego Arias2017-03-24
* | [travis] Fix iris-coq build.Gravatar Emilio Jesus Gallego Arias2017-03-22
| * [travis] [8.6.only] Backport latest changes from trunk.Gravatar Emilio Jesus Gallego Arias2017-03-22
* | trivial: fix commentGravatar Matej Kosik2017-03-21
* | [travis] Basic support for overlays.Gravatar Emilio Jesus Gallego Arias2017-03-13
* | [travis] Make the git_checkout function more reliable.Gravatar Théo Zimmermann2017-03-10
* | [travis] Adding a template file and using it for all targets.Gravatar Théo Zimmermann2017-03-10
* | [travis] Change headband for wider compatibility.Gravatar Théo Zimmermann2017-03-10
* | Improve build of travis target on local machine.Gravatar Théo Zimmermann2017-03-10
| * [travis] Move GeoCoq to allow fail.Gravatar Emilio Jesus Gallego Arias2017-03-10
* | [travis] Move GeoCoq to allow fail.Gravatar Emilio Jesus Gallego Arias2017-03-09
| * [travis] Backport trunk's travis support.Gravatar Emilio Jesus Gallego Arias2017-03-02
* [travis] [External CI] fiat-parsersGravatar Emilio Jesus Gallego Arias2017-02-24
* [travis] track an 8.7 specific branch of HoTT.Gravatar Maxime Dénès2017-02-21
* [travis] [External CI] CompCert official 8.6 support + UniMathGravatar Emilio Jesus Gallego Arias2017-02-15
* [travis] [External CI] Factor out math-comp installs.Gravatar Emilio Jesus Gallego Arias2017-02-15
* Merge PR#425: [travis] [External CI] [geocoq] don't build slow fileGravatar Maxime Dénès2017-02-07
|\
| * [travis] [External CI] [geocoq] don't build slow fileGravatar Emilio Jesus Gallego Arias2017-02-07
* | [travis] [External CI] iris-coq: fix dependenciesGravatar Emilio Jesus Gallego Arias2017-02-07
|/
* [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
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-26 05:16:10 +0000