From e1d506ca87a0b362c5bb1a965b60d89e9954253b Mon Sep 17 00:00:00 2001
From: Hendrik Tews <hendrik@askra.de>
Date: Tue, 28 Jan 2025 23:24:59 +0100
Subject: [PATCH] CI: add Coq 9.0+rc1

---
 .github/workflows/test.yml               | 27 ++++++++++++++++++++++++
 ci/doc/README.md                         |  8 ++++---
 ci/doc/coq-emacs-releases.org            |  1 +
 ci/doc/currently-used-coq-emacs-versions |  9 ++++++++
 ci/doc/currently-used-coq-nix-versions   |  1 +
 5 files changed, 43 insertions(+), 3 deletions(-)

diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index a30345396..98a47b517 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -142,6 +142,15 @@ jobs:
           - coq-8.20.1-emacs-29.2
           - coq-8.20.1-emacs-29.3
           - coq-8.20.1-emacs-29.4
+          - coq-9.0-rc-emacs-26.3
+          - coq-9.0-rc-emacs-27.1
+          - coq-9.0-rc-emacs-27.2
+          - coq-9.0-rc-emacs-28.1
+          - coq-9.0-rc-emacs-28.2
+          - coq-9.0-rc-emacs-29.1
+          - coq-9.0-rc-emacs-29.2
+          - coq-9.0-rc-emacs-29.3
+          - coq-9.0-rc-emacs-29.4
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -217,6 +226,15 @@ jobs:
           - coq-8.20.1-emacs-29.2
           - coq-8.20.1-emacs-29.3
           - coq-8.20.1-emacs-29.4
+          - coq-9.0-rc-emacs-26.3
+          - coq-9.0-rc-emacs-27.1
+          - coq-9.0-rc-emacs-27.2
+          - coq-9.0-rc-emacs-28.1
+          - coq-9.0-rc-emacs-28.2
+          - coq-9.0-rc-emacs-29.1
+          - coq-9.0-rc-emacs-29.2
+          - coq-9.0-rc-emacs-29.3
+          - coq-9.0-rc-emacs-29.4
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -288,6 +306,15 @@ jobs:
           - coq-8.20.1-emacs-29.2
           - coq-8.20.1-emacs-29.3
           - coq-8.20.1-emacs-29.4
+          - coq-9.0-rc-emacs-26.3
+          - coq-9.0-rc-emacs-27.1
+          - coq-9.0-rc-emacs-27.2
+          - coq-9.0-rc-emacs-28.1
+          - coq-9.0-rc-emacs-28.2
+          - coq-9.0-rc-emacs-29.1
+          - coq-9.0-rc-emacs-29.2
+          - coq-9.0-rc-emacs-29.3
+          - coq-9.0-rc-emacs-29.4
           # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
diff --git a/ci/doc/README.md b/ci/doc/README.md
index 2996c55d4..2f183d6fd 100644
--- a/ci/doc/README.md
+++ b/ci/doc/README.md
@@ -168,7 +168,7 @@ This results in
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: container-number -->
-57
+66
 <!-- CIPG change marker end -->
 containers.
 
@@ -189,6 +189,7 @@ containers.
 |  8.18.0 |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
 |  8.19.2 |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
 |  8.20.1 |      |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |   X  |
+|   9.0rc |      |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |
 <!-- CIPG change marker end -->
 
 In the table above,
@@ -285,7 +286,7 @@ This results in
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: testrun-number -->
-34
+43
 <!-- CIPG change marker end -->
 version pairs for the Proof General interaction tests with Coq.
 
@@ -306,6 +307,7 @@ version pairs for the Proof General interaction tests with Coq.
 |  8.18.0 |      |   X  |   X  |      |      |   X  |      |      |   X  |   N  |
 |  8.19.2 |      |   X  |   X  |      |      |   X  |      |      |   X  |   N  |
 |  8.20.1 |      |   X  |   X  |   N  |   N  |   X  |   N  |   N  |   X  |   N  |
+|   9.0rc |      |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |   RC |
 <!-- CIPG change marker end -->
 
 See [Container build strategy](#contbuild) for an explanation of the
@@ -315,7 +317,7 @@ In summary, all Proof General testing jobs run
 <!-- The content between the CIPG markers is automatically changed by
  !-- the cipg program. Do not change these markers. -->
 <!-- CIPG change marker: total-checks-number -->
-131
+158
 <!-- CIPG change marker end -->
 github checks.
 
diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org
index 80649c688..3d561088c 100644
--- a/ci/doc/coq-emacs-releases.org
+++ b/ci/doc/coq-emacs-releases.org
@@ -13,6 +13,7 @@
 
 | date    |    coq | emacs | distribution name | EOL      | historic |
 |---------+--------+-------+-------------------+----------+----------|
+| 2025/01 | 9.0rc  |       |                   |          |          |
 | 2025/01 | 8.20.1 |       |                   |          |          |
 | 2024/09 | 8.20.0 |       |                   |          |          |
 | 2024/06 | 8.19.2 |  29.4 |                   |          |          |
diff --git a/ci/doc/currently-used-coq-emacs-versions b/ci/doc/currently-used-coq-emacs-versions
index 616c1ce48..0649287a1 100644
--- a/ci/doc/currently-used-coq-emacs-versions
+++ b/ci/doc/currently-used-coq-emacs-versions
@@ -55,3 +55,12 @@ coq-8.20.1-emacs-29.1
 coq-8.20.1-emacs-29.2
 coq-8.20.1-emacs-29.3
 coq-8.20.1-emacs-29.4
+coq-9.0-rc-emacs-26.3
+coq-9.0-rc-emacs-27.1
+coq-9.0-rc-emacs-27.2
+coq-9.0-rc-emacs-28.1
+coq-9.0-rc-emacs-28.2
+coq-9.0-rc-emacs-29.1
+coq-9.0-rc-emacs-29.2
+coq-9.0-rc-emacs-29.3
+coq-9.0-rc-emacs-29.4
diff --git a/ci/doc/currently-used-coq-nix-versions b/ci/doc/currently-used-coq-nix-versions
index d28d4f414..ab5e7d2e8 100644
--- a/ci/doc/currently-used-coq-nix-versions
+++ b/ci/doc/currently-used-coq-nix-versions
@@ -10,3 +10,4 @@
 8.18.0
 8.19.2
 8.20.1
+9.0rc