aboutsummaryrefslogtreecommitdiff
path: root/dev/ci/ci-common.sh
AgeCommit message (Expand)Author
2021-03-30CI: don't output-syncGaëtan Gilbert
2021-03-14[ci] [gitlab] Remove ad-hoc mathcomp install macrosEmilio Jesus Gallego Arias
2020-12-16Fix overlay system: projects need to be loaded before overlays.Gaëtan Gilbert
2020-12-10[ci] simplify overlay scriptsEnrico Tassi
2020-12-09[ci] function to declare projectsEnrico Tassi
2020-11-24[ci] variable CI_INSTALL_DIR to use with --prefixEnrico Tassi
2020-10-23Fix overlay merge commandGaëtan Gilbert
2020-10-12Automatically merge overlays with most recent upstream versionGaëtan Gilbert
2020-10-12Lowercase variables in git_downloadGaëtan Gilbert
2020-09-21Make print-pretty-timed robust against non-output-sync logsJason Gross
2020-07-10Minor improvement to CI logsGaëtan Gilbert
2020-03-09Do not erase OCAMLPATH in CI targets with Dune-built CoqMaxime Dénès
2019-04-04[CI] Fix build of math-comp dependenciesMaxime Dénès
2019-02-18[ci] Resolve commit corresponding to branch when downloading tarball.Théo Zimmermann
2018-11-17[devtools] Small script to setup overlays automaticallyEmilio Jesus Gallego Arias
2018-10-02[ci] [travis] Remove CI contrib testing from Travis.Emilio Jesus Gallego Arias
2018-09-27[ci] Allow `make ci-$contrib` when we have a build under Dune.Emilio Jesus Gallego Arias
2018-09-01Source basic overlay after user overlays to fix #8375 following #8348.Théo Zimmermann
2018-09-01Merge PR #8348: Download tarball instead of cloning external projects.Emilio Jesus Gallego Arias
2018-08-31Download tarball instead of cloning external projects (when $CI is set).Théo Zimmermann
2018-08-28Clean-up Travis folds.Théo Zimmermann
2018-07-27[ci] Remove CircleCI setup.Emilio Jesus Gallego Arias
2018-07-04[ci] Avoid annoying detached head warning.Emilio Jesus Gallego Arias
2018-06-11[ci] GeoCoq now depends on math-comp's ssralg.Emilio Jesus Gallego Arias
2018-06-02[ci] Expose updated `OCAMLPATH` for CI users.Emilio Jesus Gallego Arias
2018-05-16Merge PR #7514: [ci] Don't build lite versions of CI developments.Gaëtan Gilbert
2018-05-16[ci] Don't build lite versions of CI developments.Emilio Jesus Gallego Arias
2018-05-14Pick up user overlays when running GitLab CI on PRs.Théo Zimmermann
2018-04-05Improve shell scriptszapashcanon
2018-02-07ci-common: guess CI_BRANCH for local buildsGaëtan Gilbert
2018-01-30Put default value for NJOBS in ci-common.Gaëtan Gilbert
2018-01-16Source basic overlay before user overlays.Gaëtan Gilbert
2018-01-16Cleanup shell expansions and quoting.Gaëtan Gilbert
2017-12-26Fix overlay selection for Circle CI.Gaëtan Gilbert
2017-12-21Fix CI with parallel make (messed up dependencies)Gaëtan Gilbert
2017-09-20In gitlab set TRAVIS_BRANCH so user overlays will work as expected.Gaëtan Gilbert
2017-09-13Fix GitLab CIGaëtan Gilbert
2017-07-04Merge branch 'v8.6'Pierre-Marie Pédrot
2017-06-16Remove -j ${NJOBS} from make invocations in the ciJason Gross
2017-06-16Each user overlay goes into its own file.Théo Zimmermann
2017-05-28Gitlab CIGaëtan Gilbert
2017-03-24[travis] Backport from trunk: VSTEmilio Jesus Gallego Arias
2017-03-22[travis] Fix iris-coq build.Emilio Jesus Gallego Arias
2017-03-22[travis] [8.6.only] Backport latest changes from trunk.Emilio Jesus Gallego Arias
2017-03-13[travis] Basic support for overlays.Emilio Jesus Gallego Arias
2017-03-10[travis] Make the git_checkout function more reliable.Théo Zimmermann
2017-03-10[travis] Change headband for wider compatibility.Théo Zimmermann
2017-03-10Improve build of travis target on local machine.Théo Zimmermann
2017-03-02[travis] Backport trunk's travis support.Emilio Jesus Gallego Arias
2017-02-15[travis] [External CI] CompCert official 8.6 support + UniMathEmilio Jesus Gallego Arias
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 12:59:52 +0000