coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/ci/README-developers.md

February 2026

coqbot-app[bot]
Merge PR #21580: dev/ci/README-developers.md add note about merlin
committed
Gaëtan Gilbert
dev/ci/README-developers.md add note about merlin
committed

November 2025

coqbot-app[bot]
Merge PR #21297: Update ci/README-devs
committed
Gaëtan Gilbert
Update ci/README-devs
committed

April 2025

coqbot-app[bot]
Merge PR #20419: Update various URLs after the renaming
committed
Gaëtan Gilbert
Update various URLs after the renaming
committed

January 2025

coqbot-app[bot]
Merge PR #20036: Rename coqide -> rocqide
committed
Gaëtan Gilbert
Rename coqide -> rocqide
committed
coqbot-app[bot]
Merge PR #20026: Rename Coq -> Rocq in various comments and doc
committed
Pierre Roux
Rename Coq -> Rocq in various comments and doc
committed

October 2024

coqbot-app[bot]
Merge PR #19756: CI README-devs: make a recommendation on the form of overlay commit messages
committed
Gaëtan Gilbert
CI README-devs: make a recommendation on the form of overlay commit messages
committed
coqbot-app[bot]
Merge PR #19562: [CI] Add a clear deadline
committed
Pierre Roux
Add a clear deadline to CI policy
committed

September 2024

coqbot-app[bot]
Merge PR #19563: [CI] Minor documentation updates
committed
Pierre Roux
Minor updates
committed
Pierre Roux
Remove outdated reference to CHANGES.md
committed
Pierre Roux
Mention light/full CI in dev/ci/README-developers.md
committed

October 2021

coqbot-app[bot]
Merge PR #14964: Document new coqbot `SKIP_DOCKER=false` feature.
committed
Théo Zimmermann
Document new coqbot SKIP_DOCKER=false feature.
committed

September 2021

coqbot-app[bot]
Merge PR #12425: [ci] [gh-actions] Run the platform job using Github Actions
committed
Emilio Jesus Gallego Arias
[ci] [doc] Update documentation for the Gitlab actions platform PR
committed

May 2021

Théo Zimmermann
Add examples from former detailed tactic examples chapter to their new location.
committed

November 2020

coqbot-app[bot]
Merge PR #13487: CI: Use hash of dockerfile in CACHEKEY
committed
Gaëtan Gilbert
CI: Use hash of dockerfile in CACHEKEY
committed

May 2020

Gaëtan Gilbert
Merge PR #12342: Direct URL for triggering a pipeline with SKIP_DOCKER=false.
committed
Théo Zimmermann
Direct URL for triggering a pipeline with SKIP_DOCKER=false.
committed
Théo Zimmermann
Merge PR #12225: [ci] [doc] More detailed documentation for overlay building
committed
Olivier Laurent
update documentation for overlay building
committed

April 2020

Théo Zimmermann
Merge PR #12203: [ci] [doc] misspelled script name create_overlays.sh
committed
Olivier Laurent
correct script name create_overlays.sh
committed

February 2020

Emilio Jesus Gallego Arias
Merge PR #11499: Clarify expectations for overlay creation
committed
Théo Zimmermann
No spaces with em-dashes.
committed

January 2020

Théo Zimmermann
Clarify expectations for overlays in contributing guide and CI doc.
committed

August 2019

Emilio Jesus Gallego Arias
Merge PR #10671: Remove links to doc artifacts and replace them with the deployed versions.
committed
Théo Zimmermann
Remove links to doc artifacts and replace them with the deployed versions.
committed

May 2019

Théo Zimmermann
Merge PR #10203: Fixing typos - Part 1
committed
JPR
Fixing typos - Part 1
committed

February 2019

Emilio Jesus Gallego Arias
Merge PR #9468: Remove AppVeyor: superseded by Azure.
committed
Théo Zimmermann
Remove AppVeyor: superseded by Azure.
committed

January 2019

Vincent Laporte
Merge PR #9383: Remove travis
committed
Gaëtan Gilbert
Remove travis
committed

December 2018

Emilio Jesus Gallego Arias
Merge PR #9224: Move lint job to gitlab
committed
Gaëtan Gilbert
Move lint job to gitlab
committed
Emilio Jesus Gallego Arias
Merge PR #9215: Set up CI with Azure Pipelines
committed
Gaëtan Gilbert
Set up CI with Azure Pipelines
committed

November 2018

Théo Zimmermann
Merge PR #9022: [ci] [doc] Split user/developer README, add info about Nix/Docker CI
committed
Théo Zimmermann
Apply suggestions from code review Thanks to @Zimmi48 as always for the careful review.
committed
Emilio Jesus Gallego Arias
[ci] [doc] Note about `overlay-maintainers` team.
committed
Emilio Jesus Gallego Arias
[ci] [doc] Note about `create-overlays.sh`
committed