CI: fix workflow problem in cipg and sync currently used containers

hendriktews · Mar 31, 2024 · 1566fd8 · 1566fd8
1 parent 2637216
commit 1566fd8
Show file tree

Hide file tree

Showing 3 changed files with 18 additions and 17 deletions.
diff --git a/ci/doc/currently-used-coq-emacs-versions b/ci/doc/currently-used-coq-emacs-versions
@@ -14,27 +14,27 @@ 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
 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
@@ -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
@@ -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;
   ()