aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev/ci
Commit message (Expand)AuthorAge
* [api] Make `vernac/` self-contained.Gravatar Emilio Jesus Gallego Arias2018-05-27
* Merge PR #7543: [ide] Move common protocol library to its own folder/object.Gravatar Pierre-Marie Pédrot2018-05-26
|\
* | Use -j 1 for high memory fiat crypto targetsGravatar Gaëtan Gilbert2018-05-25
* | [tactics] Remove anonymous fix/cofix form.Gravatar Emilio Jesus Gallego Arias2018-05-24
* | Complete rewrite of the documentation of overlays after Jim's additional comm...Gravatar Théo Zimmermann2018-05-24
* | Relax advice on the name of user-overlays following Gaëtan's suggestion.Gravatar Théo Zimmermann2018-05-24
* | Improve merging and overlay documentations.Gravatar Théo Zimmermann2018-05-24
| * [ide] Move common protocol library to its own folder/object.Gravatar Emilio Jesus Gallego Arias2018-05-24
|/
* [ci] Build fiat-crypto targets in sequenceGravatar Jason Gross2018-05-22
* Merge PR #7526: [circle] Use Docker image from Gitlab registry.Gravatar Gaëtan Gilbert2018-05-22
|\
* | [stm] Make toplevels standalone executables.Gravatar Emilio Jesus Gallego Arias2018-05-21
* | [CI] Fix the script used by math-classes.Gravatar Pierre-Marie Pédrot2018-05-18
| * [circle] Use Docker image from Gitlab registry.Gravatar Emilio Jesus Gallego Arias2018-05-17
|/
* Merge PR #7525: [ci] Try to build more of fiat-crypto.Gravatar Gaëtan Gilbert2018-05-17
|\
* \ Merge PR #6808: Add unit tests to test-suiteGravatar Gaëtan Gilbert2018-05-17
|\ \
| | * [ci] Try to build more of fiat-crypto.Gravatar Emilio Jesus Gallego Arias2018-05-16
| |/ |/|
* | Merge PR #7514: [ci] Don't build lite versions of CI developments.Gravatar Gaëtan Gilbert2018-05-16
|\ \
| | * add unit tests to test suiteGravatar Paul Steckler2018-05-16
| |/ |/|
* | Merge PR #7442: Gitlab: build docker image in pipeline and use through registry.Gravatar Emilio Jesus Gallego Arias2018-05-16
|\ \
| | * [ci] Don't build lite versions of CI developments.Gravatar Emilio Jesus Gallego Arias2018-05-16
* | | Merge PR #7505: Pick up user overlays when running GitLab CI on PRs.Gravatar Emilio Jesus Gallego Arias2018-05-16
|\ \ \
* \ \ \ Merge PR #7213: Do not compute constr matching context if not used.Gravatar Matthieu Sozeau2018-05-15
|\ \ \ \ | |_|_|/ |/| | |
| | | * Update CI README with info about gitlab windows and docker jobs.Gravatar Gaëtan Gilbert2018-05-14
| |_|/ |/| |
* | | Merge PR #7482: Update CI documentation following recent evolutions.Gravatar Emilio Jesus Gallego Arias2018-05-14
|\ \ \
| | | * Pick up user overlays when running GitLab CI on PRs.Gravatar Théo Zimmermann2018-05-14
| * | | Update CI documentation following recent evolutions.Gravatar Théo Zimmermann2018-05-14
| | |/ | |/|
* / | Windows packaging build with Gitlab CIGravatar Maxime Dénès2018-05-11
|/ /
* | [ci] Add mit-plv/cross-cryptoGravatar Jason Gross2018-05-09
* | [gitlab] Add bleeding-edge flambda build.Gravatar Emilio Jesus Gallego Arias2018-05-07
* | [ci] Add ounit to the base Docker package set.Gravatar Emilio Jesus Gallego Arias2018-05-07
* | [gitlab] [circleci] Use a Custom Docker Image as base CI setup.Gravatar Emilio Jesus Gallego Arias2018-05-05
* | Merge PR #7400: ci-vst.sh: use -o progsGravatar Emilio Jesus Gallego Arias2018-05-03
|\ \
* | | [ci]: add pidetop (fix #7336)Gravatar Enrico Tassi2018-05-02
| * | ci-vst.sh: use -o progsGravatar Gaëtan Gilbert2018-05-01
|/ /
* | [ci] Fix #7396: VST is brokenGravatar Emilio Jesus Gallego Arias2018-05-01
* | updating CI for Mtac2Gravatar Beta Ziliani2018-04-25
* | Merge PR #7152: [api] Remove dependency of library on Vernacexpr.Gravatar Pierre-Marie Pédrot2018-04-23
|\ \
* \ \ Merge PR #7320: [ci] Also make some display targets for fiat-cryptoGravatar Emilio Jesus Gallego Arias2018-04-21
|\ \ \
| * | | [ci] Also make some display targets for fiat-cryptoGravatar Jason Gross2018-04-20
* | | | CI: add fcsl-pcmGravatar Anton Trunov2018-04-20
|/ / /
* | | CI: extract iris git version without using opamGravatar Ralf Jung2018-04-18
* | | fix iris-lambda-rust CIGravatar Ralf Jung2018-04-18
* | | Merge PR #7242: Update the CI branch for Equations.Gravatar Gaëtan Gilbert2018-04-17
|\ \ \
| * | | Update the CI branch for Equations.Gravatar Théo Zimmermann2018-04-13
* | | | Overlay for econstr in Evd.Gravatar Gaëtan Gilbert2018-04-13
|/ / /
* | | Merge PR #6454: [econstr] Flag to make `to_constr` fail if its output contain...Gravatar Pierre-Marie Pédrot2018-04-13
|\ \ \
| | | * Adding an overlay for Ltac2.Gravatar Pierre-Marie Pédrot2018-04-11
| |_|/ |/| |
* | | Merge PR #6809: Improve shell scriptsGravatar Michael Soegtrop2018-04-08
|\ \ \
| | | * [api] Remove dependency of library on Vernacexpr.Gravatar Emilio Jesus Gallego Arias2018-04-06
| * | | Improve shell scriptsGravatar zapashcanon2018-04-05
| | |/ | |/|
generated by cgit v1.2.3 (git 2.39.1) at 2024-06-11 18:45:22 +0000