From 1566fd882e1618d0843cb5930632fe00b681167f Mon Sep 17 00:00:00 2001
From: Hendrik Tews <hendrik@askra.de>
Date: Fri, 29 Mar 2024 23:11:07 +0100
Subject: [PATCH] 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 a57c85c70..836a64fe4 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 b2889cff0..b61d15b60 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 80029964b..0d719c64f 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;
   ()