Merge pull request #44 from coq-community/hierarchy-builder

Port to Hierarchy Builder
coq-community · May 11, 2023 · d62fa8f · d62fa8f
2 parents e831b0b + dce84bf
commit d62fa8f
Show file tree

Hide file tree

Showing 36 changed files with 455 additions and 1,307 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -19,22 +19,8 @@ jobs:
     strategy:
       matrix:
         image:
-          - 'mathcomp/mathcomp:1.12.0-coq-8.11'
-          - 'mathcomp/mathcomp:1.13.0-coq-8.12'
-          - 'mathcomp/mathcomp:1.13.0-coq-8.13'
-          - 'mathcomp/mathcomp:1.13.0-coq-8.14'
-          - '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:2.0.0-coq-8.16'
+          - 'mathcomp/mathcomp:2.0.0-coq-8.17'
           - 'mathcomp/mathcomp-dev:coq-dev'
       fail-fast: false
     steps:

diff --git a/.github/workflows/nix-action-8.12+1.14.yml b/.github/workflows/nix-action-8.12+1.14.yml
diff --git a/.github/workflows/nix-action-8.13+1.13.yml b/.github/workflows/nix-action-8.13+1.13.yml
diff --git a/.github/workflows/nix-action-8.13+1.14.yml b/.github/workflows/nix-action-8.13+1.14.yml