From 50bc2ae80d435d87dca398a196d59049a92d075d Mon Sep 17 00:00:00 2001 From: Pierre Roux Date: Mon, 28 Aug 2023 13:40:07 +0200 Subject: [PATCH] [CI] Update Docker CI --- .github/workflows/docker-action.yml | 13 +++---------- 1 file changed, 3 insertions(+), 10 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index cff5c0998..efe7aa0b9 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -15,20 +15,13 @@ jobs: strategy: matrix: image: - - 'mathcomp/mathcomp:1.13.0-coq-8.14' - - 'mathcomp/mathcomp:1.13.0-coq-8.15' - - 'mathcomp/mathcomp:1.14.0-coq-8.14' - - 'mathcomp/mathcomp:1.14.0-coq-8.15' - '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.16.0-coq-8.15' - - 'mathcomp/mathcomp:1.16.0-coq-8.16' - - 'mathcomp/mathcomp-dev:coq-8.14' - - 'mathcomp/mathcomp-dev:coq-8.15' - - 'mathcomp/mathcomp-dev:coq-8.16' - - 'mathcomp/mathcomp-dev:coq-dev' + - '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 steps: - uses: actions/checkout@v2