aboutsummaryrefslogtreecommitdiffhomepage
path: root/.circleci
Commit message (Collapse)AuthorAge
* [ci] Add ounit to the base Docker package set.Gravatar Emilio Jesus Gallego Arias2018-05-07
| | | | This should help #6808.
* [gitlab] [circleci] Use a Custom Docker Image as base CI setup.Gravatar Emilio Jesus Gallego Arias2018-05-05
| | | | | | | | | | | | | | | | | | | | We provide a custom `Dockerfile` for Coq's CI system, based on `ubuntu:bionic`. The image includes the required set of packages and OPAM switches. This greatly simplifies the Gitlab and Circle scripts, at the cost of having to push a Docker build for them to depend on. Travis is not included in this PR as it requires significant more refactoring due to lack of native Docker support. This is work in progress but ready, a build hook is used so the image is properly tagged in the Docker autobuilder. We need to improve the autobuilder setup but this last point requires some design on how to trigger it. Fixes #7383
* [ci]: add pidetop (fix #7336)Gravatar Enrico Tassi2018-05-02
|
* [CI] elpi 1.0 has an official opam packageGravatar Enrico Tassi2018-04-27
|
* circle CI: do not use cache from old config.yml versionsGravatar Gaëtan Gilbert2018-04-27
| | | | It begs things to break when the cache is out of sync with the system packages.
* updating CI for Mtac2Gravatar Beta Ziliani2018-04-25
|
* CI: add fcsl-pcmGravatar Anton Trunov2018-04-20
|
* Simplify CircleCI scriptGravatar Yishuai Li2018-04-15
|
* Remove from CircleCI builds that are already taken care of by Travis.Gravatar Théo Zimmermann2018-02-21
|
* ci: add elpiGravatar Enrico Tassi2018-02-19
|
* Merge PR #6601: Circle CI: fix cache selection.Gravatar Maxime Dénès2018-01-31
|\
* | Fix CI with parallel make (messed up dependencies)Gravatar Gaëtan Gilbert2017-12-21
| | | | | | | | | | | | | | | | | | When invoking through Makefile we always rebuild dependencies. To skip dependencies, invoke ci-wrapper directly. We make Circle CI do this. In order to properly support invoking ci-wrapper directly we replace "make" in ci-common by a bash function which adds -j to the make invocation outside submakes. We also set TIMED in the ci-wrapper.
| * Circle CI: fix cache selection.Gravatar Gaëtan Gilbert2017-12-19
|/
* Circle CI: separate job to boot opam with all used packages.Gravatar Gaëtan Gilbert2017-12-14
|
* Circle CI: remove warning jobsGravatar Gaëtan Gilbert2017-12-14
|
* Circle CI: uses dependencies between external developments.Gravatar Gaëtan Gilbert2017-12-13
|
* Circle CI: enable TIMED for external developmentsGravatar Gaëtan Gilbert2017-12-13
|
* Circle CI: use cache for opamGravatar Gaëtan Gilbert2017-12-13
|
* Circle CI: enable native compiler.Gravatar Gaëtan Gilbert2017-12-13
|
* Near-full implementation of Circle CI.Gravatar Gaëtan Gilbert2017-12-12
| | | | | | | | | | | | | | VS gitlab: + fiat-crypto (Circle has 4GB RAM, gitlab 2GB) - caching opam (TODO) - publishing artefacts (TODO) * tests with -local, not installed VS travis: + reusing build products - flambda validate job (TODO?) - OSX jobs (TODO at least check if free OSX is possible) - linter (TODO?)
* CI: poc Circleci configurationGravatar Arnaud Spiwack2017-12-11
Revert "CI: poc Circleci configuration" Committed on master by mistake. Clearly I'm too clumsy to be trusted with push rights. This reverts commit d606a85d53fbd0227b15e18701e2ac4c9d911f34. CI: poc Circleci configuration Fixup Try minimising build for faster testing Various fixes Fixup: yaml identation Do not -j2: native compiler seems to take too much memory Revert "Do not -j2: native compiler seems to take too much memory" This reverts commit 4886151288a8d895c0fd23f9bded0970c59e1372. Deactivate native compiler Fixup (how did this happen?) Do not call time (not install on docker images, will fix later) Fixup Fixup
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-19 19:47:11 +0000