branch: elpa/proof-general
commit a38857a6a099d0d94184a50093ea6ad331c5c52e
Author: Hendrik Tews <[email protected]>
Commit: hendriktews <[email protected]>
CI: test 8.19.0 instead of 8.19+rc1
Additionally, delete the pdf version of the CI documentation, can be
build with the Makefile.
---
.github/workflows/test.yml | 54 ++++++++++++++++--------------------------
ci/doc/Makefile | 12 ++++++++++
ci/doc/README.md | 10 ++++----
ci/doc/README.pdf | Bin 63810 -> 0 bytes
ci/doc/coq-emacs-releases.org | 3 +--
5 files changed, 39 insertions(+), 40 deletions(-)
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
index 0ccb501a9c..79eef69cb5 100644
--- a/.github/workflows/test.yml
+++ b/.github/workflows/test.yml
@@ -131,20 +131,16 @@ jobs:
- coq-8.17-emacs-29.2
- coq-8.18-emacs-26.3
- coq-8.18-emacs-27.1
- - coq-8.18-emacs-27.2
- - coq-8.18-emacs-28.1
- coq-8.18-emacs-28.2
- coq-8.18-emacs-29.1
- coq-8.18-emacs-29.2
- - coq-8.19-rc-emacs-26.1
- - coq-8.19-rc-emacs-26.2
- - coq-8.19-rc-emacs-26.3
- - coq-8.19-rc-emacs-27.1
- - coq-8.19-rc-emacs-27.2
- - coq-8.19-rc-emacs-28.1
- - coq-8.19-rc-emacs-28.2
- - coq-8.19-rc-emacs-29.1
- - coq-8.19-rc-emacs-29.2
+ - coq-8.19-emacs-26.3
+ - coq-8.19-emacs-27.1
+ - coq-8.19-emacs-27.2
+ - coq-8.19-emacs-28.1
+ - coq-8.19-emacs-28.2
+ - coq-8.19-emacs-29.1
+ - coq-8.19-emacs-29.2
# 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
@@ -211,20 +207,16 @@ jobs:
- coq-8.17-emacs-29.2
- coq-8.18-emacs-26.3
- coq-8.18-emacs-27.1
- - coq-8.18-emacs-27.2
- - coq-8.18-emacs-28.1
- coq-8.18-emacs-28.2
- coq-8.18-emacs-29.1
- coq-8.18-emacs-29.2
- - coq-8.19-rc-emacs-26.1
- - coq-8.19-rc-emacs-26.2
- - coq-8.19-rc-emacs-26.3
- - coq-8.19-rc-emacs-27.1
- - coq-8.19-rc-emacs-27.2
- - coq-8.19-rc-emacs-28.1
- - coq-8.19-rc-emacs-28.2
- - coq-8.19-rc-emacs-29.1
- - coq-8.19-rc-emacs-29.2
+ - coq-8.19-emacs-26.3
+ - coq-8.19-emacs-27.1
+ - coq-8.19-emacs-27.2
+ - coq-8.19-emacs-28.1
+ - coq-8.19-emacs-28.2
+ - coq-8.19-emacs-29.1
+ - coq-8.19-emacs-29.2
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
@@ -284,20 +276,16 @@ jobs:
- coq-8.17-emacs-29.2
- coq-8.18-emacs-26.3
- coq-8.18-emacs-27.1
- - coq-8.18-emacs-27.2
- - coq-8.18-emacs-28.1
- coq-8.18-emacs-28.2
- coq-8.18-emacs-29.1
- coq-8.18-emacs-29.2
- - coq-8.19-rc-emacs-26.1
- - coq-8.19-rc-emacs-26.2
- - coq-8.19-rc-emacs-26.3
- - coq-8.19-rc-emacs-27.1
- - coq-8.19-rc-emacs-27.2
- - coq-8.19-rc-emacs-28.1
- - coq-8.19-rc-emacs-28.2
- - coq-8.19-rc-emacs-29.1
- - coq-8.19-rc-emacs-29.2
+ - coq-8.19-emacs-26.3
+ - coq-8.19-emacs-27.1
+ - coq-8.19-emacs-27.2
+ - coq-8.19-emacs-28.1
+ - coq-8.19-emacs-28.2
+ - coq-8.19-emacs-29.1
+ - coq-8.19-emacs-29.2
# CIPG change marker end
# don't cancel all in-progress jobs if one matrix job fails:
fail-fast: false
diff --git a/ci/doc/Makefile b/ci/doc/Makefile
new file mode 100644
index 0000000000..24f86d139f
--- /dev/null
+++ b/ci/doc/Makefile
@@ -0,0 +1,12 @@
+# This file is part of Proof General.
+#
+# © Copyright 2021 Hendrik Tews
+#
+# Authors: Hendrik Tews
+# Maintainer: Hendrik Tews <[email protected]>
+#
+# SPDX-License-Identifier: GPL-3.0-or-later
+
+
+README.pdf: README.md
+ pandoc -N --pdf-engine=lualatex README.md -o README.pdf
diff --git a/ci/doc/README.md b/ci/doc/README.md
index 9414c59207..e1744e3c2b 100644
--- a/ci/doc/README.md
+++ b/ci/doc/README.md
@@ -162,7 +162,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 -->
-53
+51
<!-- CIPG change marker end -->
containers.
@@ -182,7 +182,7 @@ containers.
| 8.16 | | | X | X | X | X | X | X | X |
| 8.17 | | | X | X | X | X | X | X | X |
| 8.18 | | | X | X | X | X | X | X | X |
-| 8.19-rc | RC | RC | RC | RC | RC | RC | RC | RC | RC |
+| 8.19 | | | X | X | X | X | X | X | X |
<!-- CIPG change marker end -->
In the table above,
@@ -280,7 +280,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 -->
-36
+32
<!-- CIPG change marker end -->
version pairs for the Proof General interaction tests with Coq.
@@ -299,8 +299,8 @@ version pairs for the Proof General interaction tests with
Coq.
| 8.15 | | | | SUP | | H | | | N |
| 8.16 | | | X | X | | | X | | N |
| 8.17 | | | X | X | | | X | SUP | N |
-| 8.18 | | | X | X | N | N | X | X | N |
-| 8.19-rc | RC | RC | RC | RC | RC | RC | RC | RC | RC |
+| 8.18 | | | X | X | | | X | X | N |
+| 8.19 | | | X | X | N | N | X | X | N |
<!-- CIPG change marker end -->
See [Container build strategy](#contbuild) for an explanation of the
diff --git a/ci/doc/README.pdf b/ci/doc/README.pdf
deleted file mode 100644
index 47479307bf..0000000000
Binary files a/ci/doc/README.pdf and /dev/null differ
diff --git a/ci/doc/coq-emacs-releases.org b/ci/doc/coq-emacs-releases.org
index 983aa167b8..227bd3e7f9 100644
--- a/ci/doc/coq-emacs-releases.org
+++ b/ci/doc/coq-emacs-releases.org
@@ -13,8 +13,7 @@
| date | coq | emacs | distribution name | EOL | historic |
|---------+--------+-------+-------------------+----------+----------|
-| 2024/01 | | 29.2 | | | |
-| 2023/12 | 8.19rc | | | | |
+| 2024/01 | 8.19.0 | 29.2 | | | |
| 2023/09 | 8.18.0 | | | | |
| 2023/07 | | 29.1 | | | |
| 2023/06 | 8.17.1 | | | | |
