aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/ci-compcert.sh
Commit message (Expand)AuthorAge
* [travis] Remove CompCert version check hack.Gravatar Emilio Jesus Gallego Arias2017-07-05
* Remove -j ${NJOBS} from make invocations in the ciGravatar Jason Gross2017-06-16
* [travis] [8.6.only] Backport latest changes from trunk.Gravatar Emilio Jesus Gallego Arias2017-03-22
* [travis] Backport trunk's travis support.Gravatar Emilio Jesus Gallego Arias2017-03-02