aboutsummaryrefslogtreecommitdiff
path: root/dev/ci
AgeCommit message (Expand)Author
2019-03-19CoqIDE: Adapt configuration to require lablgtk3 and gtksourceview3.Hugo Herbelin
2019-03-18[nix] Update reference to nixpkgsVincent Laporte
2019-03-18[nix] Move nixpkgs.nix into the dev/ directoryVincent Laporte
2019-03-18[nix-ci] Use “master” versions of “coq-ext-lib” and “simple-io”Vincent Laporte
2019-03-18[nix-ci] Share the reference to nixpkgs with default.nixVincent Laporte
2019-03-17iconv bedrock2 CI output to UTF-8Andres Erbsen
2019-03-16Add test-suite to Paramcoq CIPierre Roux
2019-03-14Overlays for SPropGaëtan Gilbert
2019-03-12Merge PR #9389: Implement a method for manual declaration of implicits.Emilio Jesus Gallego Arias
2019-03-12Merge PR #7819: Ho matching occ selEnrico Tassi
2019-03-11[ci] [docker] Upgrade odoc to 1.4.0Emilio Jesus Gallego Arias
2019-03-06Merge PR #9476: Constructor type information uses the expanded form.Gaëtan Gilbert
2019-03-05[CI] Add stdlib2Vincent Laporte
2019-02-28Constructor type information uses the expanded form.Pierre-Marie Pédrot
2019-02-28Overlays for coq/coq#9389 implicits API cleanupGaëtan Gilbert
2019-02-23[vernac] Unify declaration hooks.Emilio Jesus Gallego Arias
2019-02-20[azure] [ci] Build on Windows using Dune.Emilio Jesus Gallego Arias
2019-02-18[ci] Resolve commit corresponding to branch when downloading tarball.Théo Zimmermann
2019-02-18Merge PR #9590: [gitlab] [docker] [ci] Remove "edge" compiler switch.Gaëtan Gilbert
2019-02-18[gitlab] [docker] [ci] Remove "edge" compiler switch.Emilio Jesus Gallego Arias
2019-02-17Separate variance and universe fields in inductives.Gaëtan Gilbert
2019-02-12[tactics] Remove dependency of abstract on global proof state.Emilio Jesus Gallego Arias
2019-02-11Merge PR #9465: [Nix-CI] Add iris and lambda-rustMaxime Dénès
2019-02-09remove VERBOSE=1, gitlab log shows that `-async-proofs-tac-j 1` was indeed pa...Samuel Gruetter
2019-02-08Workaround for CI not having enough RAM for bedrock2: `-async-proofs-tac-j 1`Samuel Gruetter
2019-02-08Update overlay fileMatthieu Sozeau
2019-02-08Add overlay for EquationsMatthieu Sozeau
2019-02-08Add overlays for unicoq and mtac2Matthieu Sozeau
2019-02-05[Nix-CI] Add lambda-rustVincent Laporte
2019-02-05[Nix-CI] Add IrisVincent Laporte
2019-02-05[Nix-CI] Fix UnicoqVincent Laporte
2019-02-05OverlaysMaxime Dénès
2019-02-04Merge PR #9470: the default branch of Mtac2 changed to masterEmilio Jesus Gallego Arias
2019-02-04the default branch of Mtac2 changed to masterbeta
2019-02-04Remove AppVeyor: superseded by Azure.Théo Zimmermann
2019-02-04Overlays.Maxime Dénès
2019-02-04Dockerfile: update menhir from 20180530 to 20181113Vincent Laporte
2019-01-29Merge PR #9383: Remove travisVincent Laporte
2019-01-24Add OverlaysMaxime Dénès
2019-01-24[nix-CI] Split the build inputsVincent Laporte
2019-01-24[Nix-ci] Add QuickChickVincent Laporte
2019-01-24[Nix-ci] Fix UnicoqVincent Laporte
2019-01-24[Nix-ci] Add formal-topologyVincent Laporte
2019-01-23Merge PR #9239: [ci] [appveyor] Pass -j2 to Appveyor's build and build test s...Maxime Dénès
2019-01-22Remove travisGaëtan Gilbert
2019-01-22Merge PR #9225: Fix issue: Windows CI: cygwin install cache is not reused #9212Maxime Dénès
2019-01-17Merge PR #9345: [ci] Update fiat-crypto to the new pipelineGaëtan Gilbert
2019-01-17Merge PR #9192: Issue #9175, #9190, #9191 (various minor Windows build issues)Maxime Dénès
2019-01-16[ci] Update fiat-crypto to the new pipelineJason Gross
2019-01-11Merge pull request #8778 from SkySkimmer/merge-plugin-tutoYves Bertot
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-06 14:49:59 +0000