aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Expand)Author
2021-01-27[sysinit] move initialization code from coqtop to hereEnrico Tassi
2021-01-05[ci] windows job based on the platformEnrico Tassi
2020-12-10Move Azure jobs to GitHub Actions.Théo Zimmermann
2020-10-02{new,setoid_}ring -> ringMaxime Dénès
2020-08-27Merge PR #12849: Rename VM-related kernel/cfoo files to kernel/vmfooPierre-Marie Pédrot
2020-08-25Add /dev/bench to CODEOWNERSGaëtan Gilbert
2020-08-21Add Actions to CI realm in CODEOWNERS.Théo Zimmermann
2020-08-21Introduce GitHub Action to check for conflicts in PRs.Théo Zimmermann
2020-08-18Rename VM-related kernel/cfoo files to kernel/vmfooGaëtan Gilbert
2020-08-04Mention coqbot minimize feature in issue template.Julien Coolen
2020-05-20Adapt the documentation to the move from Gitter to Zulip.Théo Zimmermann
2020-04-27Fix an ordering bug in the CODEOWNERS file following #11529.Théo Zimmermann
2020-02-18Merge PR #11529: [build] Consolidate stdlib's .v files under a single directory.Théo Zimmermann
2020-02-13[build] Consolidate stdlib's .v files under a single directory.Emilio Jesus Gallego Arias
2020-01-20Dispatch code ownership of files in dev/doc.Théo Zimmermann
2019-12-24Update merging doc following the full move to teams.Théo Zimmermann
2019-12-22Use code owner teams for every component.Théo Zimmermann
2019-10-14Assign ownership of the test-suite compat filesJason Gross
2019-10-11Simple script to prefill a changelog entryGaëtan Gilbert
2019-09-10Switch maintenance of `ring` to a teamMaxime Dénès
2019-08-23Create a maintainer team for the contributing process files.Théo Zimmermann
2019-06-05Add codeowner for Ltac2. Forgotten in #10002.Théo Zimmermann
2019-05-24Add SUPPORT.md file.Théo Zimmermann
2019-05-05New infrastructure for the unreleased changelog.Théo Zimmermann
2019-03-25Move code ownership of reals library to new maintainer team.Théo Zimmermann
2019-02-04Remove AppVeyor: superseded by Azure.Théo Zimmermann
2019-01-26Simplify the GitHub issue templateTej Chajed
2019-01-23Merge PR #9339: Move plugin tutorial to team ownershipEmilio Jesus Gallego Arias
2019-01-22Transfer maintenance of appveyor infrastructure to the CI teamMaxime Dénès
2019-01-21Move plugin tutorial to team ownershipGaëtan Gilbert
2019-01-08Integrate plugin tutorial after code importGaëtan Gilbert
2018-12-21Make @SkySkimmer an owner of test-suite/report.shMaxime Dénès
2018-12-17Set up CI with Azure PipelinesGaëtan Gilbert
2018-11-22New code owner team parsing-maintainers.Théo Zimmermann
2018-11-22New code owner team ssreflect-maintainers.Théo Zimmermann
2018-11-22It seems that Hugo is also willing to assume a maintainer role on CoqIDE.Théo Zimmermann
2018-11-22All dune files are owned by dune code owners.Théo Zimmermann
2018-11-12Set codeowners for dev/ci/nixVincent Laporte
2018-10-18Give code ownership of merging doc to pushers team to notify members when it ...Théo Zimmermann
2018-10-08Merge PR #8627: [dune] [opam] Install `revision` file when building with Dune.Théo Zimmermann
2018-10-05Rename CHANGES to CHANGES.md.Guillaume Melquiond
2018-10-03[dune] [opam] Install `revision` file when building with Dune.Emilio Jesus Gallego Arias
2018-10-03Merge PR #8634: (For v8.9 and master) Remove -compat 8.6 and document the com...Théo Zimmermann
2018-10-02Move the compat-update-process to right after branchingJason Gross
2018-10-02Update dev/doc/release-process: compat+automateJason Gross
2018-10-02[ci] [travis] Remove CI contrib testing from Travis.Emilio Jesus Gallego Arias
2018-09-21Create a team of micromega maintainersMaxime Dénès
2018-09-19Merge PR #8071: Propose a Code of Conduct for Coq.Matthieu Sozeau
2018-09-12Remove quote pluginMaxime Dénès
2018-09-10Merge PR #8323: Owners of Makefile.{ci,doc} are teams {ci,doc}-maintainers.Maxime Dénès
generated by cgit v1.2.3 (git 2.25.1) at 2026-01-31 20:17:18 +0000