aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
AgeCommit message (Expand)Author
2018-06-13Markdown docs: switch from absolute to relative links.Théo Zimmermann
2018-06-12[api] Add compatiblity Misctypes module.Emilio Jesus Gallego Arias
2018-06-11[ci] GeoCoq now depends on math-comp's ssralg.Emilio Jesus Gallego Arias
2018-06-08Merge PR #7687: [ci] [docker] Pin specific versions of OPAM CI dependencies.Gaëtan Gilbert
2018-06-06[ci] [docker] Pin specific versions of OPAM CI dependencies.Emilio Jesus Gallego Arias
2018-06-06Add a note about [ci skip] in CI README.Théo Zimmermann
2018-06-06Merge PR #7717: [ci] Temporal fix for CompCertGaëtan Gilbert
2018-06-06[ci] Temporal fix for CompCertEmilio Jesus Gallego Arias
2018-06-05Merge PR #7099: Stronger invariants in unification signature.Matthieu Sozeau
2018-06-05Merge PR #7495: Fix restrict_universe_contextMatthieu Sozeau
2018-06-04Merge PR #7596: [ci] [windows] Use newer OCaml version.Michael Soegtrop
2018-06-04Adding an overlay for the Equations plugin.Pierre-Marie Pédrot
2018-06-02QuickChick CILeonidas Lampropoulos
2018-06-02[ci] Expose updated `OCAMLPATH` for CI users.Emilio Jesus Gallego Arias
2018-06-02[appveyor] Use OCaml version 4.06.1 in the Windows build.Emilio Jesus Gallego Arias
2018-05-30overlay triggering bug #7472 (that #7495) is supposed to fixEnrico Tassi
2018-05-27[api] Make `vernac/` self-contained.Emilio Jesus Gallego Arias
2018-05-26Merge PR #7543: [ide] Move common protocol library to its own folder/object.Pierre-Marie Pédrot
2018-05-25Use -j 1 for high memory fiat crypto targetsGaëtan Gilbert
2018-05-24[tactics] Remove anonymous fix/cofix form.Emilio Jesus Gallego Arias
2018-05-24Complete rewrite of the documentation of overlays after Jim's additional comm...Théo Zimmermann
2018-05-24Relax advice on the name of user-overlays following Gaëtan's suggestion.Théo Zimmermann
2018-05-24Improve merging and overlay documentations.Théo Zimmermann
2018-05-24[ide] Move common protocol library to its own folder/object.Emilio Jesus Gallego Arias
2018-05-22[ci] Build fiat-crypto targets in sequenceJason Gross
2018-05-22Merge PR #7526: [circle] Use Docker image from Gitlab registry.Gaëtan Gilbert
2018-05-21[stm] Make toplevels standalone executables.Emilio Jesus Gallego Arias
2018-05-18[CI] Fix the script used by math-classes.Pierre-Marie Pédrot
2018-05-17[circle] Use Docker image from Gitlab registry.Emilio Jesus Gallego Arias
2018-05-17Merge PR #7525: [ci] Try to build more of fiat-crypto.Gaëtan Gilbert
2018-05-17Merge PR #6808: Add unit tests to test-suiteGaëtan Gilbert
2018-05-16[ci] Try to build more of fiat-crypto.Emilio Jesus Gallego Arias
2018-05-16Merge PR #7514: [ci] Don't build lite versions of CI developments.Gaëtan Gilbert
2018-05-16add unit tests to test suitePaul Steckler
2018-05-16Merge PR #7442: Gitlab: build docker image in pipeline and use through registry.Emilio Jesus Gallego Arias
2018-05-16[ci] Don't build lite versions of CI developments.Emilio Jesus Gallego Arias
2018-05-16Merge PR #7505: Pick up user overlays when running GitLab CI on PRs.Emilio Jesus Gallego Arias
2018-05-15Merge PR #7213: Do not compute constr matching context if not used.Matthieu Sozeau
2018-05-14Update CI README with info about gitlab windows and docker jobs.Gaëtan Gilbert
2018-05-14Merge PR #7482: Update CI documentation following recent evolutions.Emilio Jesus Gallego Arias
2018-05-14Pick up user overlays when running GitLab CI on PRs.Théo Zimmermann
2018-05-14Update CI documentation following recent evolutions.Théo Zimmermann
2018-05-11Windows packaging build with Gitlab CIMaxime Dénès
2018-05-09[ci] Add mit-plv/cross-cryptoJason Gross
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-03Merge PR #7400: ci-vst.sh: use -o progsEmilio Jesus Gallego Arias
2018-05-02[ci]: add pidetop (fix #7336)Enrico Tassi
2018-05-01ci-vst.sh: use -o progsGaëtan Gilbert
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 21:34:01 +0000