branch: elpa/proof-general
commit 1566fd882e1618d0843cb5930632fe00b681167f
Author: Hendrik Tews <hend...@askra.de>
Commit: hendriktews <hend...@askra.de>
CI: fix workflow problem in cipg and sync currently used containers
---
ci/doc/currently-used-coq-emacs-versions | 28 ++++++++++++++--------------
ci/doc/currently-used-coq-nix-versions | 4 ++--
ci/tools/cipg.ml | 3 ++-
3 files changed, 18 insertions(+), 17 deletions(-)
diff --git a/ci/doc/currently-used-coq-emacs-versions
b/ci/doc/currently-used-coq-emacs-versions
index a57c85c70d..836a64fe4e 100644
--- a/ci/doc/currently-used-coq-emacs-versions
+++ b/ci/doc/currently-used-coq-emacs-versions
@@ -14,13 +14,13 @@ coq-8.14.1-emacs-26.3
coq-8.14.1-emacs-27.1
coq-8.14.1-emacs-27.2
coq-8.14.1-emacs-29.2
-coq-8.15.1-emacs-26.3
-coq-8.15.1-emacs-27.1
-coq-8.15.1-emacs-27.2
-coq-8.15.1-emacs-28.1
-coq-8.15.1-emacs-28.2
-coq-8.15.1-emacs-29.1
-coq-8.15.1-emacs-29.2
+coq-8.15.2-emacs-26.3
+coq-8.15.2-emacs-27.1
+coq-8.15.2-emacs-27.2
+coq-8.15.2-emacs-28.1
+coq-8.15.2-emacs-28.2
+coq-8.15.2-emacs-29.1
+coq-8.15.2-emacs-29.2
coq-8.16.1-emacs-26.3
coq-8.16.1-emacs-27.1
coq-8.16.1-emacs-27.2
@@ -28,13 +28,13 @@ coq-8.16.1-emacs-28.1
coq-8.16.1-emacs-28.2
coq-8.16.1-emacs-29.1
coq-8.16.1-emacs-29.2
-coq-8.17.0-emacs-26.3
-coq-8.17.0-emacs-27.1
-coq-8.17.0-emacs-27.2
-coq-8.17.0-emacs-28.1
-coq-8.17.0-emacs-28.2
-coq-8.17.0-emacs-29.1
-coq-8.17.0-emacs-29.2
+coq-8.17.1-emacs-26.3
+coq-8.17.1-emacs-27.1
+coq-8.17.1-emacs-27.2
+coq-8.17.1-emacs-28.1
+coq-8.17.1-emacs-28.2
+coq-8.17.1-emacs-29.1
+coq-8.17.1-emacs-29.2
coq-8.18.0-emacs-26.3
coq-8.18.0-emacs-27.1
coq-8.18.0-emacs-27.2
diff --git a/ci/doc/currently-used-coq-nix-versions
b/ci/doc/currently-used-coq-nix-versions
index b2889cff02..b61d15b604 100644
--- a/ci/doc/currently-used-coq-nix-versions
+++ b/ci/doc/currently-used-coq-nix-versions
@@ -5,8 +5,8 @@
8.12.2
8.13.2
8.14.1
-8.15.1
+8.15.2
8.16.1
-8.17.0
+8.17.1
8.18.0
8.19.1
diff --git a/ci/tools/cipg.ml b/ci/tools/cipg.ml
index 80029964bc..0d719c64fb 100644
--- a/ci/tools/cipg.ml
+++ b/ci/tools/cipg.ml
@@ -1588,7 +1588,6 @@ let main() =
end
else
print_endline"\n\nno superfluous container to delete\n";
- update_currently_used coqs (list_of_matrix coqs emacses conts);
end;
end;
if !print_pg_ci_config then
@@ -1641,6 +1640,8 @@ let main() =
yml_file_change_wrapper test_workflow_file "magic-emacs-version"
(output_ci_magic_versions latest_two_emacs_major);
+
+ update_currently_used coqs (list_of_matrix coqs emacses conts);
end;
()
