aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
2018-05-22Merge PR #7526: [circle] Use Docker image from Gitlab registry.Gaëtan Gilbert
2018-05-21[ci] [gitlab] Fix printenv sorting for variables that span multiple lines.Emilio Jesus Gallego Arias
2018-05-17[circle] Use Docker image from Gitlab registry.Emilio Jesus Gallego Arias
2018-05-16Merge PR #7442: Gitlab: build docker image in pipeline and use through registry.Emilio Jesus Gallego Arias
2018-05-16Merge PR #7507: gitlab CI: fix [warnings] templateEmilio Jesus Gallego Arias
2018-05-14Gitlab: skip docker job when $SKIP_DOCKER == "true".Gaëtan Gilbert
2018-05-14Gitlab: build docker image in pipeline and use through registry.Gaëtan Gilbert
2018-05-14Merge PR #7344: Windows packaging build with Gitlab CIGaëtan Gilbert
2018-05-14gitlab CI: fix [warnings] templateGaëtan Gilbert
2018-05-11gitlab CI: remove math-classes jobGaëtan Gilbert
2018-05-11Windows packaging build with Gitlab CIMaxime Dénès
2018-05-09[ci] Add mit-plv/cross-cryptoJason Gross
2018-05-08[gitlab] Do expensive builds with a flambda-compiled Coq.Emilio Jesus Gallego Arias
2018-05-07[gitlab] Add bleeding-edge flambda build.Emilio Jesus Gallego Arias
2018-05-07[ci] Add ounit to the base Docker package set.Emilio Jesus Gallego Arias
2018-05-05[gitlab] [circleci] Use a Custom Docker Image as base CI setup.Emilio Jesus Gallego Arias
2018-05-02[ci]: add pidetop (fix #7336)Enrico Tassi
2018-04-29[gitlab] Update base image to Ubuntu bionic + some improvements.Emilio Jesus Gallego Arias
2018-04-28[doc] Remove unused dependencies.Emilio Jesus Gallego Arias
2018-04-28Merge PR #7376: Fix gitlab ubuntu versionEmilio Jesus Gallego Arias
2018-04-28Fix gitlab ubuntu versionGaëtan Gilbert
2018-04-27[CI] elpi 1.0 has an official opam packageEnrico Tassi
2018-04-25updating CI for Mtac2Beta Ziliani
2018-04-20CI: add fcsl-pcmAnton Trunov
2018-04-16gitlab: separate opam-boot jobs, use opam init and OPAMROOTGaëtan Gilbert
2018-03-30gitlab: fix environment for build templateGaëtan Gilbert
2018-03-09Moving Gitlab CI documentation build to the main Coq build.Maxime Dénès
2018-03-07gitlab: install num for all jobsGaëtan Gilbert
2018-02-19ci: add elpiEnrico Tassi
2017-12-18Gitlab: don't ./configure in documentation jobGaëtan Gilbert
2017-12-07[ci] CoLoR has moved to githubEmilio Jesus Gallego Arias
2017-11-28CI: use -byte-only in [warnings] jobs.Gaëtan Gilbert
2017-11-24Make byte on gitlab.Gaëtan Gilbert
2017-11-20Add Equations to CIMatthieu Sozeau
2017-11-15Fix gitlab for 4.06Gaëtan Gilbert
2017-11-13[ci] [coq] Complete 4.06.0 support.Emilio Jesus Gallego Arias
2017-11-04[ci] Add Ltac2Jason Gross
2017-10-19rename ci-iris-coq -> ci-iris-lambda-rustRalf Jung
2017-10-05GitLab CI: make all_stdlib.v in build jobGaëtan Gilbert
2017-09-13Fix GitLab CIGaëtan Gilbert
2017-08-24[ci] [gitlab] coq-dpdgraph: Remove allow-failureJason Gross
2017-07-21Add [opam update] and online repository to gitlab CI script.Gaëtan Gilbert
2017-07-20Merge PR #877: Travis+4.05.0Maxime Dénès
2017-07-13[travis] Update testing to 4.05.0 + Camlp5 7.01Emilio Jesus Gallego Arias
2017-07-11Add timing scriptsJason Gross
2017-06-19Merge PR#784: API additions for coq-dpdgraphMaxime Dénès
2017-06-16Add coq-dpdgraph to gitlab CIGaëtan Gilbert
2017-06-15Remove bedrock from test suite.Maxime Dénès
2017-06-13[travis] extra test ci-bignums (+factorize other scripts)Pierre Letouzey
2017-05-31[travis] print failing test suite logs on failureGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-03-08 07:05:52 +0000