CI: test 8.19.1 instead of 8.19.0

Achieved by updating the docker containers.
hendriktews · Mar 8, 2024 · e793ac4 · e793ac4
1 parent a6f8243
commit e793ac4
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 |
 |---------+--------+-------+-------------------+----------+----------|
+| 2024/03 | 8.19.1 |       |                   |          |          |
 | 2024/01 | 8.19.0 |  29.2 |                   |          |          |
 | 2023/09 | 8.18.0 |       |                   |          |          |
 | 2023/07 |        |  29.1 |                   |          |          |