aboutsummaryrefslogtreecommitdiffhomepage
path: root/dev
Commit message (Expand)AuthorAge
* 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
* | Merge PR #7527: [windows] Don't build menhir and int anymore in the packaging...Gravatar Michael Soegtrop2018-05-19
|\ \
* \ \ Merge PR #7550: [CI] Fix the script used by math-classes.Gravatar Emilio Jesus Gallego Arias2018-05-18
|\ \ \
* \ \ \ Merge PR #6965: [api] Move universe syntax to `Glob_term`Gravatar Pierre-Marie Pédrot2018-05-18
|\ \ \ \
| | * | | [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
|\ \ \ \
* \ \ \ \ Merge PR #7391: Add a small documentation writer's guideGravatar Maxime Dénès2018-05-16
|\ \ \ \ \
| | | | | * [windows] Don't make menhir and int anymore.Gravatar Emilio Jesus Gallego Arias2018-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 #7519: git / gpg integration linkGravatar Théo Zimmermann2018-05-15
|\ \ \ \ \ \
| | | | * | | [doc] Add an ELisp snippet to insert Sphinx roles and quotesGravatar Clément Pit-Claudel2018-05-15
| |_|_|/ / / |/| | | | |
| * | | | | Update MERGING.mdGravatar Matthieu Sozeau2018-05-15
| * | | | | Update MERGING.mdGravatar Matthieu Sozeau2018-05-15
| * | | | | git / gpg integration linkGravatar Matthieu Sozeau2018-05-15
| | |_|/ / | |/| | |
* | | | | Merge PR #7213: Do not compute constr matching context if not used.Gravatar Matthieu Sozeau2018-05-15
|\ \ \ \ \ | |/ / / / |/| | | |
* | | | | Merge PR #7170: Script to identify the code owner for given filesGravatar Maxime Dénès2018-05-14
|\ \ \ \ \
| | | | * | Update CI README with info about gitlab windows and docker jobs.Gravatar Gaëtan Gilbert2018-05-14
| |_|_|/ / |/| | | |
* | | | | Merge PR #7337: dir-locals: add bug-reference-mode variablesGravatar Emilio Jesus Gallego Arias2018-05-14
|\ \ \ \ \
* \ \ \ \ \ Merge PR #7482: Update CI documentation following recent evolutions.Gravatar Emilio Jesus Gallego Arias2018-05-14
|\ \ \ \ \ \
* \ \ \ \ \ \ Merge PR #7344: Windows packaging build with Gitlab CIGravatar Gaëtan Gilbert2018-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
* | | | | | | Merge PR #7470: use at least 6 Xs in mktemp filename templatesGravatar Gaëtan Gilbert2018-05-11
|\ \ \ \ \ \ \ | |_|/ / / / / |/| | | | | |
| | | * | | | coqdev.el: add bug-reference-mode variablesGravatar Gaëtan Gilbert2018-05-11
| | * | | | | Windows packaging build with Gitlab CIGravatar Maxime Dénès2018-05-11
| |/ / / / / |/| | | | |
* | | | | | [ci] Add mit-plv/cross-cryptoGravatar Jason Gross2018-05-09
| * | | | | use at least 6 Xs in mktemp filename templatesGravatar Sven M. Hallberg2018-05-09
|/ / / / /
* | | | | Merge PR #7435: [gitlab] Add bleeding-edge flambda build.Gravatar Gaëtan Gilbert2018-05-09
|\ \ \ \ \
| | | | | * [api] Move universe syntax to `Glob_term`Gravatar Emilio Jesus Gallego Arias2018-05-08
| |_|_|_|/ |/| | | |
| * | | | [gitlab] Add bleeding-edge flambda build.Gravatar Emilio Jesus Gallego Arias2018-05-07
* | | | | Merge PR #7347: Fix for #7081 (Windows lablgtk) and #7083 (Windows logging)Gravatar Maxime Dénès2018-05-07
|\ \ \ \ \ | |/ / / / |/| | | |
* | | | | [ci] Add ounit to the base Docker package set.Gravatar Emilio Jesus Gallego Arias2018-05-07
* | | | | Merge PR #7387: [gitlab] [circleci] Use a Docker base image for CIGravatar Gaëtan Gilbert2018-05-06
|\ \ \ \ \
| * | | | | [gitlab] [circleci] Use a Custom Docker Image as base CI setup.Gravatar Emilio Jesus Gallego Arias2018-05-05
* | | | | | [api] Rename `global_reference` to `GlobRef.t` to follow kernel style.Gravatar Emilio Jesus Gallego Arias2018-05-04
|/ / / / /
| * | | | Fixes issue #7083 / Windows build: Unify build logging to console (for appvey...Gravatar Michael Soegtrop2018-05-03
| * | | | Fixes issue #7081 / Windows build: strip in lablgtk build can fail randomlyGravatar Michael Soegtrop2018-05-03
|/ / / /
* | | | 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
* | | | Merge PR #7351: Always print explanation for univ inconsistency, rm Flags.uni...Gravatar Emilio Jesus Gallego Arias2018-04-27
|\ \ \ \
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-29 17:12:31 +0000