aboutsummaryrefslogtreecommitdiff
path: root/.gitlab-ci.yml
AgeCommit message (Expand)Author
2021-01-16Drop support for Coq 8.10 and deprecate the `deprecate` notationKazuhiko Sakaguchi
2021-01-15[CI/CD] support Coq 8.13Kazuhiko Sakaguchi
2021-01-09[CI/CD] Adding real-closed, analysis and multinomials (#692)Cyril Cohen
2020-12-05Remove ci-fcsl-pcm-8.10Kazuhiko Sakaguchi
2020-11-11Intro pattern extensions for dup, swap and applyCyril Cohen
2020-11-07fix: Deploy each image w.r.t. a separate GitLab CI environment nameErik Martin-Dorel
2020-10-12feat: Update only/except rulesErik Martin-Dorel
2020-10-07Turn class_of records into primitive records and get rid of the xclass idiomKazuhiko Sakaguchi
2020-09-27Merge pull request #530 from CohenCyril/moreCICyril Cohen
2020-09-27Update .gitlab-ci.ymlKazuhiko Sakaguchi
2020-09-11avoid rebuildEnrico Tassi
2020-09-11coq 8.13 does not exists yetEnrico Tassi
2020-09-11rm docker runEnrico Tassi
2020-09-10fixEnrico Tassi
2020-09-10new attemptEnrico Tassi
2020-09-07[test suite] infrastructure to test how some statements are printedEnrico Tassi
2020-08-29chore: refactor GitLab CI config a bit to lighten nightly buildsErik Martin-Dorel
2020-06-08More CICyril Cohen
2020-06-07[CI/CD] Deploy mathcomp/mathcomp-dev:coq-8.12 (with Coq 8.12+alpha)Erik Martin-Dorel
2020-04-09- switching long suffixes to short suffixesReynald Affeldt
2020-03-08[ci] Build mathcomp/mathcomp-dev:8.11Erik Martin-Dorel
2020-03-08Fix CI (coq-lemma-overloading dropped compatibility with Coq < 8.10)Erik Martin-Dorel
2020-03-08refactor: Simplify the DockerfilesErik Martin-Dorel
2020-01-07Add FCSL-PCM library to CIAnton Trunov
2019-12-18Remove CI overlay for PR #270Kazuhiko Sakaguchi
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
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 10:46:07 +0000