aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
2019-12-15fix: Add missing "except: schedules"Erik Martin-Dorel
2019-12-11The compatibility module in ssrnum should now be for version 1.10Kazuhiko Sakaguchi
2019-12-11remove ProdNormedZmodule (#419)affeldt-aist
2019-12-11renaming NormedZmoduleType and NormedZmoduleMixin (#416)affeldt-aist
2019-12-11Rename: (l|L)attice -> (d|D)istrLatticeKazuhiko Sakaguchi
2019-12-11editing documentation in order.v and ssrnum.vReynald Affeldt
2019-12-11Redefine `normedDomainType` (now `normedZmodType`) (#392)Kazuhiko Sakaguchi
2019-12-11Rename `totalLatticeMixin` to `totalPOrderMixin` and several refactorKazuhiko Sakaguchi
2019-12-11Add (meet|join)_(l|r), some renamings, and small cleanupsKazuhiko Sakaguchi
2019-10-18Add build for mathcomp/mathcomp-dev:coq-8.10 (#391)Erik Martin-Dorel
2019-08-10fix(.gitlab-ci.yml): duplicated "variables:" entryErik Martin-Dorel
2019-07-30[ci] Adapt the GitLab CI config to allow scheduled builds for coq-devErik Martin-Dorel
2019-07-30[ci] Add jobs {ci-fourcolor-8.9, ci-odd-order-8.9}Erik Martin-Dorel
2019-07-30refactor: deploy jobs need not clone the repoErik Martin-Dorel
2019-07-29style: fix indentation detailErik Martin-Dorel
2019-05-06add `deprecate` helper notation; no `perm` in non-`perm_eq` lemma namesGeorges Gonthier
2019-04-30Restore CI with `finmap master`Georges Gonthier
2019-04-30Fix compatibility for #237Georges Gonthier
2019-04-16[ci] Add tests with more librariesErik Martin-Dorel
2019-04-16Detail: Print a more legible description for the cloned external librariesErik Martin-Dorel
2019-04-16Swap the deploy and test stagesErik Martin-Dorel
2019-04-16Print more debug informationErik Martin-Dorel
2019-04-16Refactor jobs: Split .opam-build & Create .docker-deployErik Martin-Dorel
2019-04-16Add commentary sections & Swap order of .make-build, .opam-buildErik Martin-Dorel
2019-04-04remove support for Coq 8.6Enrico Tassi
2019-04-01Improve CI head trackingGeorges Gonthier
2019-01-29Add more libraries to CI & Update local opam doc (#272)Erik Martin-Dorel
2018-12-21Add hidden job .make-build to also test the Makefile build infraErik Martin-Dorel
2018-12-21chore: s/.build/.opam-build/Erik Martin-Dorel
2018-12-21Add Docker-based GitLab CI configurationErik Martin-Dorel
generated by cgit v1.2.3 (git 2.25.1) at 2026-02-28 10:23:15 +0000