rebase wrt 0.6.6

math-comp · Nov 17, 2023 · 564ae22 · 564ae22
1 parent d7d02e2
commit 564ae22
Show file tree

Hide file tree

Showing 9 changed files with 47 additions and 454 deletions.
diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml
@@ -15,11 +15,7 @@ jobs:
     strategy:
       matrix:
         image:
-          - '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.14'
-          - 'mathcomp/mathcomp:1.17.0-coq-8.15'
           - 'mathcomp/mathcomp:1.17.0-coq-8.16'
           - 'mathcomp/mathcomp:1.17.0-coq-8.17'
       fail-fast: false

diff --git a/.github/workflows/nix-action-8.14.yml b/.github/workflows/nix-action-8.14.yml