From 0d2cff7a0f0635cc82d0ac71dbd887dd0a320c7a Mon Sep 17 00:00:00 2001 From: Lasse Letager Hansen Date: Fri, 15 Mar 2024 14:29:53 +0100 Subject: [PATCH] Remove broken images --- .github/workflows/docker-action.yml | 8 -------- 1 file changed, 8 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index 298c5d73d..6e81cd5ae 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -19,15 +19,7 @@ jobs: strategy: matrix: image: - - 'mathcomp/mathcomp-dev:coq-dev' - - 'mathcomp/mathcomp:2.2.0-coq-8.19' - - 'mathcomp/mathcomp:2.2.0-coq-8.18' - 'mathcomp/mathcomp:2.1.0-coq-8.18' - - 'mathcomp/mathcomp:2.1.0-coq-8.17' - - 'mathcomp/mathcomp:2.1.0-coq-8.16' - - 'mathcomp/mathcomp:2.0.0-coq-8.18' - - 'mathcomp/mathcomp:2.0.0-coq-8.17' - - 'mathcomp/mathcomp:2.0.0-coq-8.16' fail-fast: false steps: - uses: actions/checkout@v3