aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci/ci-compcert.sh
Commit message (Expand)AuthorAge
* [ci] [docker] Pin specific versions of OPAM CI dependencies.Gravatar Emilio Jesus Gallego Arias2018-06-06
* [ci] Temporal fix for CompCertGravatar Emilio Jesus Gallego Arias2018-06-06
* [gitlab] [circleci] Use a Custom Docker Image as base CI setup.Gravatar Emilio Jesus Gallego Arias2018-05-05
* Improve shell scriptsGravatar zapashcanon2018-04-05
* Put default value for NJOBS in ci-common.Gravatar Gaëtan Gilbert2018-01-30
* Revert "[ci] Temporal workaround for checker non-backwards compatible change."Gravatar Théo Zimmermann2017-12-12
* [ci] Temporal workaround for checker non-backwards compatible change.Gravatar Emilio Jesus Gallego Arias2017-12-10
* [ci] Test coqchk on the CompCert target.Gravatar Théo Zimmermann2017-11-30
* [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
generated by cgit v1.2.3 (git 2.39.1) at 2024-05-19 17:04:25 +0000