coq
forked from coq/coq
Star 1
Fork 0
Watch

Version history of dev/ci/ci-basic-overlay.sh

October 2026

coqbot-app[bot]
Merge PR #22565: CI: add rocq-extraction-scala
committed
Valentin Bergeron
CI: add rocq-extraction-scala
committed

July 2026

coqbot-app[bot]
Merge PR #22321: CI: fetch Iris and std++ from github mirrors
committed
Ralf Jung
CI: fetch Iris and std++ from github mirrors
committed
coqbot-app[bot]
Merge PR #22232: SMTCoq now depends on trakt
committed
Chantal Keller
SMTCoq now depends on trakt
committed
coqbot-app[bot]
Merge PR #22210: Add MLtac2 to CI
committed
Dario Halilovic
Add MLtac2 to CI
committed

June 2026

coqbot-app[bot]
Merge PR #22171: [CI] Update maintainer contact for paco
committed
Soonwon Moon
[CI] Update maintainer contact for paco
committed
coqbot-app[bot]
Merge PR #22157: Fix #21938 (CI inventory)
committed
Pierre Roux
[CI] Remove ceres, itree_io, parsec, json, async_test and http
committed
Pierre Roux
[CI] Reintroduce ATBR and Stalmarck
committed
coqbot-app[bot]
Merge PR #21609: Add "if <term> is <pattern> then _ else _" syntax
committed
coqbot-app[bot]
Merge PR #22137: Put trakt back in CI
committed
Pierre Roux
[CI] Removing Perennial
committed
Chantal Keller
Put trakt back in CI
committed
coqbot-app[bot]
Merge PR #22133: Fix #21938 (CI inventory)
committed
Pierre Roux
Fix #21938 (CI inventory)
committed

May 2026

coqbot-app[bot]
Merge PR #22073: [CI] Fix jasmin and mathcomp-test
committed
Pierre Roux
[CI] Remove algebra tactics
committed
coqbot-app[bot]
Merge PR #22071: [CI] Fix mathcomp (add micromega separate repo)
committed
Pierre Roux
[CI] Fix mathcomp
committed

April 2026

coqbot-app[bot]
Merge PR #21927: CI: reactivate rocq-lsp job
committed
coqbot-app[bot]
Merge PR #21931: Update repo URL for equations
committed
Gaëtan Gilbert
Update repo URL for equations
committed
Gaëtan Gilbert
Rename ci-coq_lsp -> ci-rocq_lsp and update repo url
committed

February 2026

coqbot-app[bot]
Merge PR #21608: Change ownership of the trakt plugin
committed
Chantal Keller
Change ownership of the trakt plugin
committed

July 2025

coqbot-app[bot]
Merge PR #20934: Remove trakt from CI
committed
Gaëtan Gilbert
Update contacts for trakt
committed

June 2025

coqbot-app[bot]
Merge PR #20822: [CI] Remove Ralf Jung from perennial contacts
committed
Pierre Roux
[CI] Remove Ralf Jung from perennial contacts
committed

May 2025

coqbot-app[bot]
Merge PR #20672: Update vscoq CI script and rename to vsrocq
committed
Gaëtan Gilbert
Update vscoq CI script and rename to vsrocq
committed

April 2025

coqbot-app[bot]
Merge PR #20407: Rename ci-metacoq -> ci-metarocq
committed
Gaëtan Gilbert
Rename ci-metacoq -> ci-metarocq
committed

February 2025

coqbot-app[bot]
Merge PR #20300: [CI] Update point of contact for paramcoq
committed
Pierre Roux
[CI] Update point of contact for paramcoq
committed
coqbot-app[bot]
Merge PR #20282: [CI] Fix jasmin
committed
Pierre Roux
[CI] Fix jasmin
committed
coqbot-app[bot]
Merge PR #20259: CI: Lean importer repo moved to coq community
committed
Gaëtan Gilbert
CI: Lean importer repo moved to coq community
committed

January 2025

coqbot-app[bot]
Merge PR #20108: Remove outdated TODO.
committed
zimmi48.tngl.sh
Remove outdated TODO.
committed
coqbot-app[bot]
Merge PR #20070: basic-overlay stdlib repo is stdlib not stdlib-test
committed
Gaëtan Gilbert
basic-overlay stdlib repo is stdlib not stdlib-test
committed
coqbot-app[bot]
Merge PR #19975: Give Stdlib its own repository
committed
Pierre Roux
Adapt CI
committed

December 2024

coqbot-app[bot]
Merge PR #19820: Remove "stdlib2" from CI
committed