From 7b489909a4ec18e810f110dfe99fe5b7f1c8b63e Mon Sep 17 00:00:00 2001
From: Pierre Roux <pierre.roux@onera.fr>
Date: Mon, 28 Aug 2023 15:37:24 +0200
Subject: [PATCH] Update CI

---
 .github/workflows/docker-action.yml | 20 ++------------------
 .nix/config.nix                     |  6 +++---
 2 files changed, 5 insertions(+), 21 deletions(-)

diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
index d180462..279e845 100644
--- a/.github/workflows/docker-action.yml
+++ b/.github/workflows/docker-action.yml
@@ -17,24 +17,8 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'mathcomp/mathcomp:1.13.0-coq-8.13'
-          - 'mathcomp/mathcomp:1.13.0-coq-8.14'
-          - 'mathcomp/mathcomp:1.13.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.14.0-coq-8.13'
-          - 'mathcomp/mathcomp:1.14.0-coq-8.14'
-          - 'mathcomp/mathcomp:1.14.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.15.0-coq-8.13'
-          - 'mathcomp/mathcomp:1.15.0-coq-8.14'
-          - 'mathcomp/mathcomp:1.15.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.15.0-coq-8.16'
-          - 'mathcomp/mathcomp:1.16.0-coq-8.13'
-          - 'mathcomp/mathcomp:1.16.0-coq-8.14'
-          - 'mathcomp/mathcomp:1.16.0-coq-8.15'
-          - 'mathcomp/mathcomp:1.16.0-coq-8.16'
-          - 'mathcomp/mathcomp:1.16.0-coq-8.17'
-          - 'mathcomp/mathcomp-dev:coq-8.13'
-          - 'mathcomp/mathcomp-dev:coq-8.14'
-          - 'mathcomp/mathcomp-dev:coq-8.15'
+          - 'mathcomp/mathcomp:2.0.0-coq-8.16'
+          - 'mathcomp/mathcomp:2.0.0-coq-8.17'
           - 'mathcomp/mathcomp-dev:coq-8.16'
           - 'mathcomp/mathcomp-dev:coq-8.17'
           - 'mathcomp/mathcomp-dev:coq-dev'
diff --git a/.nix/config.nix b/.nix/config.nix
index f59a089..f2b2c96 100644
--- a/.nix/config.nix
+++ b/.nix/config.nix
@@ -39,16 +39,16 @@
   ## will be created per bundle
   bundles."8.16".coqPackages = {
     coq.override.version = "8.16";
-    mathcomp.override.version = "mathcomp-2.0.0";
+    mathcomp.override.version = "2.0.0";
   };
   bundles."8.17".coqPackages = {
     coq.override.version = "8.17";
-    mathcomp.override.version = "mathcomp-2.0.0";
+    mathcomp.override.version = "2.0.0";
   };
   bundles."master".coqPackages = {
     coq.override.version = "master";
     coq-elpi.override.version = "coq-master";
-    hierarchy-builder.override.version = "proux01:coq-master";
+    hierarchy-builder.override.version = "coq-master";
     mathcomp.override.version = "master";
     mathcomp-bigenough.override.version = "1.0.1";
   };