aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/ci-fiat-parsers.sh
Commit message (Expand)AuthorAge
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\
| * Remove -j ${NJOBS} from make invocations in the ciGravatar Jason Gross2017-06-16
* | Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-06-08
|\|
* | [travis] [fiat] Test also fiat-core.Gravatar Emilio Jesus Gallego Arias2017-06-02
| * Add parsers-examples target to fiat-parsers ciGravatar Jason Gross2017-05-23
| * [travis] [8.6.only] Backport latest changes from trunk.Gravatar Emilio Jesus Gallego Arias2017-03-22
* [travis] Basic support for overlays.Gravatar Emilio Jesus Gallego Arias2017-03-13
* [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
* [travis] [External CI] fiat-parsersGravatar Emilio Jesus Gallego Arias2017-02-24