aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
AgeCommit message (Expand)Author
2020-02-02[ci] [fiat-crypto] Use the pinned bedrock2Jason Gross
2020-01-31[ci] [fiat-crypto-legacy] Use new, faster targetsJason Gross
2020-01-28Add reduction-effects to the CIJason Gross
2020-01-21[ci] Pin SF until they solve their CI issues.Emilio Jesus Gallego Arias
2020-01-19Merge PR #11368: Turn trailing implicit warning into an errorHugo Herbelin
2020-01-17Fix issue #11396 : Rlist hides standard list constructors cons and nilMichael Soegtrop
2020-01-15[Nix/CI] Add verdi-raftVincent Laporte
2020-01-15[Nix/CI] Update fiat_cryptoVincent Laporte
2020-01-08let CI test bedrock2's 'tested' branch instead of 'master'Samuel Gruetter
2020-01-07Trailing implicit error: overlaysSimonBoulier
2019-12-26Remove uses of Global in Evd API.Pierre-Marie Pédrot
2019-12-22Rename files with Class in their name to make their role clearer.Pierre-Marie Pédrot
2019-12-18Merge PR #9786: Fix Equation's ci scriptPierre-Marie Pédrot
2019-12-16Overlay for #11027Gaëtan Gilbert
2019-12-13[ci] [docker] Install ocamlformat in docker images.Emilio Jesus Gallego Arias
2019-12-13Fix Equation's ci scriptMatthieu Sozeau
2019-12-06Adding overlay for Quickchick PR#145.Hugo Herbelin
2019-12-06Merge PR #11174: [dune] Update to dune language version 2.0Théo Zimmermann
2019-12-04Overlay for ELPIHugo Herbelin
2019-12-04[dune] Update to dune language version 2.0Emilio Jesus Gallego Arias
2019-12-02[ci] [sf] Add authentication to artifact download.Emilio Jesus Gallego Arias
2019-12-02[CI] Test latest artifacts of SF instead of the stable versionMaxime Dénès
2019-11-27[ci] Split out the dependencies of fiat-cryptoJason Gross
2019-11-27[ci] Build slightly more in the fiat-crypto targetJason Gross
2019-11-21add tlc to ci; please proof read very carefully and test. thankscharguer
2019-11-12Expand documentation about generating a Docker image.Pierre-Marie Pédrot
2019-11-05overlayEnrico Tassi
2019-11-05elpi 1.8Enrico Tassi
2019-11-01Add overlaysPierre Roux
2019-10-29[declare] Use helper function for `fix_exn` instead of relying on internals.Emilio Jesus Gallego Arias
2019-10-25[funind] Remove duplicate save function.Emilio Jesus Gallego Arias
2019-10-14Merge PR #10811: Allow SProp default onPierre-Marie Pédrot
2019-10-08Merge PR #10770: [ci] Add mit-pdos/perennialEmilio Jesus Gallego Arias
2019-10-04overlays for sprop default onGaëtan Gilbert
2019-10-03Merge PR #10727: [library] Move `Declaremods` to `vernac/`Pierre-Marie Pédrot
2019-09-20[ci] Add mit-pdos/perennialTej Chajed
2019-09-19[ci] Update supported OCaml version to 4.09.0Emilio Jesus Gallego Arias
2019-09-18[declaremods] Remove abstraction layer over module interpretation.Emilio Jesus Gallego Arias
2019-09-17Merge PR #10738: update elpi to 1.7Gaëtan Gilbert
2019-09-17Overlay for VSTMaxime Dénès
2019-09-16Add SF overlayMaxime Dénès
2019-09-07overlay for elpiEnrico Tassi
2019-09-07update elpi to 1.7Enrico Tassi
2019-09-02Merge PR #10645: [ci] Update to OCaml 4.08.1Gaëtan Gilbert
2019-08-29Merge PR #10674: [declare] Move proof_entry type to declare, put interactive ...Pierre-Marie Pédrot
2019-08-27[ci] Update to OCaml 4.08.1Emilio Jesus Gallego Arias
2019-08-27[declare] Move proof_entry type to declare, put interactive proof data on top...Emilio Jesus Gallego Arias
2019-08-27[cleanup] Replace uses of UserError constructor, clarify exception names.Emilio Jesus Gallego Arias
2019-08-23Merge PR #10665: [api] Move handling of variable implicit data to impargsGaëtan Gilbert
2019-08-20[ci] Remove dead code.Théo Zimmermann
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-01 04:01:51 +0000