aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/ci-common.sh
Commit message (Expand)AuthorAge
* [ci] Avoid annoying detached head warning.Gravatar Emilio Jesus Gallego Arias2018-07-04
* [ci] GeoCoq now depends on math-comp's ssralg.Gravatar Emilio Jesus Gallego Arias2018-06-11
* [ci] Expose updated `OCAMLPATH` for CI users.Gravatar Emilio Jesus Gallego Arias2018-06-02
* Merge PR #7514: [ci] Don't build lite versions of CI developments.Gravatar Gaëtan Gilbert2018-05-16
|\
| * [ci] Don't build lite versions of CI developments.Gravatar Emilio Jesus Gallego Arias2018-05-16
* | Pick up user overlays when running GitLab CI on PRs.Gravatar Théo Zimmermann2018-05-14
|/
* Improve shell scriptsGravatar zapashcanon2018-04-05
* ci-common: guess CI_BRANCH for local buildsGravatar Gaëtan Gilbert2018-02-07
* Put default value for NJOBS in ci-common.Gravatar Gaëtan Gilbert2018-01-30
* Source basic overlay before user overlays.Gravatar Gaëtan Gilbert2018-01-16
* Cleanup shell expansions and quoting.Gravatar Gaëtan Gilbert2018-01-16
* Fix overlay selection for Circle CI.Gravatar Gaëtan Gilbert2017-12-26
* Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
* In gitlab set TRAVIS_BRANCH so user overlays will work as expected.Gravatar Gaëtan Gilbert2017-09-20
* Fix GitLab CIGravatar Gaëtan Gilbert2017-09-13
* Merge branch 'v8.6'Gravatar Pierre-Marie Pédrot2017-07-04
|\
| * Remove -j ${NJOBS} from make invocations in the ciGravatar Jason Gross2017-06-16
* | Each user overlay goes into its own file.Gravatar Théo Zimmermann2017-06-16
* | Gitlab CIGravatar Gaëtan Gilbert2017-05-28
| * [travis] Backport from trunk: 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
* | [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] 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] Backport trunk's travis support.Gravatar Emilio Jesus Gallego Arias2017-03-02
* [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
* [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-05-19 19:52:32 +0000