aboutsummaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Collapse)Author
2021-01-27[sysinit] move initialization code from coqtop to hereEnrico Tassi
We also spill (some) non-generic arguments and initialization code out of coqargs and to coqtop, namely colors for the terminal. There are more of these, left to later commits.
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
I believe this renaming makes it easier for new contributors to discover the code of `ring`.
2020-08-27Merge PR #12849: Rename VM-related kernel/cfoo files to kernel/vmfooPierre-Marie Pédrot
Reviewed-by: gares Reviewed-by: ppedrot Reviewed-by: silene
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
Alternative to adding this feature to coqbot (coq/bot#14).
2020-08-18Rename VM-related kernel/cfoo files to kernel/vmfooGaëtan Gilbert
2020-08-04Mention coqbot minimize feature in issue template.Julien Coolen
This allows coqbot to reply back with a minimized version of some code reproducing a bug, using the coq-bug-minimizer program from Jason Gross. See https://github.com/JasonGross/coq-tools#coq-bug-minimizer.
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
Reviewed-by: Zimmi48
2020-02-13[build] Consolidate stdlib's .v files under a single directory.Emilio Jesus Gallego Arias
Currently, `.v` under the `Coq.` prefix are found in both `theories` and `plugins`. Usually these two directories are merged by special loadpath code that allows double-binding of the prefix. This adds some complexity to the build and loadpath system; and in particular, it prevents from handling the `Coq.*` prefix in the simple, `-R theories Coq` standard way. We thus move all `.v` files to theories, leaving `plugins` as an OCaml-only directory, and modify accordingly the loadpath / build infrastructure. Note that in general `plugins/foo/Foo.v` was not self-contained, in the sense that it depended on files in `theories` and files in `theories` depended on it; moreover, Coq saw all these files as belonging to the same namespace so it didn't really care where they lived. This could also imply a performance gain as we now effectively traverse less directories when locating a library. See also discussion in #10003
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
Integrate merging doc in the main contributing document.
2019-12-22Use code owner teams for every component.Théo Zimmermann
It was decided during the Coq WG that code owner teams are more convenient, in particular because they allow adding and removing team members without going through a pull request. For each team, we should aim to have at least three code owners, even if in some cases we are going to start with less. We also stop triggering review requests for changelog entries as was also decided during the WG.
2019-10-14Assign ownership of the test-suite compat filesJason Gross
I want to be notified when these are changed
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
Who should be secondary owner?
2019-05-24Add SUPPORT.md file.Théo Zimmermann
A link to this file will be displayed when people start opening an issue, and maybe in some other places. See also: https://help.github.com/en/articles/adding-support-resources-to-your-project
2019-05-05New infrastructure for the unreleased changelog.Théo Zimmermann
Move existing entries.
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
Reviewed-by: ejgallego Reviewed-by: gares
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
changes.
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
Fixes #8621
2018-10-03Merge PR #8634: (For v8.9 and master) Remove -compat 8.6 and document the ↵Théo Zimmermann
compat updates to do as part of a release.
2018-10-02Move the compat-update-process to right after branchingJason Gross
Also test that the compat updating script hasn't become outdated on the CI.
2018-10-02Update dev/doc/release-process: compat+automateJason Gross
As requested in https://github.com/coq/coq/issues/8311#issuecomment-415976318 the release process describes the steps to take. All automatable steps are taken by the new script dev/tools/update-compat.py I've tried to make the script relatively easy to update if functions get renamed or moved, but since it's doing unstructured source manipulation, it is sort-of fragile. We could plausibly add a file to the test-suite to ensure that we catch script-breakage early, but this would require dropping compatibility support much earlier in the development cycle (the compatibility changes would have to come right when the new version is branched, rather than shortly before the beta release).
2018-10-02[ci] [travis] Remove CI contrib testing from Travis.Emilio Jesus Gallego Arias
This was kept as a fallback for some time, not worth keeping it anymore as our GitLab setup seems mature and reliable enough.
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
As far as I know, this plugin is untested and barely maintained. I don't think it has real use cases any more, so let's move it out from the repo and see if somebody wants to take over and maintain it. We also remove the documentation, which was telling our users to look at ring to see an example of reification done using quote, when in fact it wasn't using it anymore.
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-02-28 09:30:34 +0000