aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/ci-metacoq.sh
Commit message (Expand)AuthorAge
* 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