cipg - automated CI maintenance

.github/workflows/test.yml

@@ -1,3 +1,10 @@
+# See ../../ci/doc/README.{md,pdf} for documentation about continuous
+# integration and testing of Proof General.
+#
+# The versions to be tested in between the CIPG markers are now and
+# then automatically updated. Please consider this when changing this
+# file.
+#
 name: CI
 
 on:
@@ -20,12 +27,16 @@ jobs:
     strategy:
       matrix:
         emacs_version:
+          # The content between the CIPG markers is automatically
+          # changed by the cipg program. Do not change these markers.
+          # CIPG change marker: build-emacs-versions
           - 26.3
           - 27.1
           - 27.2
           - 28.1
           - 28.2
           - 29.1
+          # CIPG change marker end
       # at most 20 concurrent jobs per free account
       # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit
       max-parallel: 4
@@ -65,8 +76,13 @@ jobs:
           # I don't think we need to check with all emacs
           # versions. The latest two should be enough, maybe even
           # only the latest one.
+          #
+          # The content between the CIPG markers is automatically
+          # changed by the cipg program. Do not change these markers.
+          # CIPG change marker: magic-emacs-version
           - 28.2
           - 29.1
+          # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
 
@@ -89,6 +105,9 @@ jobs:
     strategy:
       matrix:
         coq_emacs_version:
+          # The content between the CIPG markers is automatically
+          # changed by the cipg program. Do not change these markers.
+          # CIPG change marker: test-coq-emacs-versions
           - coq-8.11-emacs-26.3
           - coq-8.11-emacs-29.1
           - coq-8.12-emacs-27.1
@@ -122,6 +141,7 @@ jobs:
           - coq-8.19-rc-emacs-28.1
           - coq-8.19-rc-emacs-28.2
           - coq-8.19-rc-emacs-29.1
+          # CIPG change marker end
       # at most 20 concurrent jobs per free account
       # cf. https://help.github.com/en/actions/reference/workflow-syntax-for-github-actions#usage-limit
       max-parallel: 6
@@ -162,6 +182,9 @@ jobs:
     strategy:
       matrix:
         coq_emacs_version:
+          # The content between the CIPG markers is automatically
+          # changed by the cipg program. Do not change these markers.
+          # CIPG change marker: compile-coq-emacs-versions
           - coq-8.11-emacs-26.3
           - coq-8.11-emacs-29.1
           - coq-8.12-emacs-27.1
@@ -195,6 +218,7 @@ jobs:
           - coq-8.19-rc-emacs-28.1
           - coq-8.19-rc-emacs-28.2
           - coq-8.19-rc-emacs-29.1
+          # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
     steps:
@@ -228,6 +252,9 @@ jobs:
     strategy:
       matrix:
         coq_emacs_version:
+          # The content between the CIPG markers is automatically
+          # changed by the cipg program. Do not change these markers.
+          # CIPG change marker: simple-coq-emacs-versions
           - coq-8.11-emacs-26.3
           - coq-8.11-emacs-29.1
           - coq-8.12-emacs-27.1
@@ -261,6 +288,7 @@ jobs:
           - coq-8.19-rc-emacs-28.1
           - coq-8.19-rc-emacs-28.2
           - coq-8.19-rc-emacs-29.1
+          # CIPG change marker end
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
 
@@ -298,12 +326,16 @@ jobs:
     strategy:
       matrix:
         emacs_version:
+          # The content between the CIPG markers is automatically
+          # changed by the cipg program. Do not change these markers.
+          # CIPG change marker: indent-emacs-versions
           - 26.3
           - 27.1
           - 27.2
           - 28.1
           - 28.2
           - 29.1
+          # CIPG change marker end
       max-parallel: 4
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false
@@ -329,12 +361,16 @@ jobs:
     strategy:
       matrix:
         emacs_version:
+          # The content between the CIPG markers is automatically
+          # changed by the cipg program. Do not change these markers.
+          # CIPG change marker: qrhl-emacs-versions
           - 26.3
           - 27.1
           - 27.2
           - 28.1
           - 28.2
           - 29.1
+          # CIPG change marker end
       max-parallel: 4
       # don't cancel all in-progress jobs if one matrix job fails:
       fail-fast: false