From 6b278e4fd9851a2570a03e4696054a59836dbcaf Mon Sep 17 00:00:00 2001 From: Karl Palmskog Date: Mon, 29 Apr 2024 09:33:07 +0200 Subject: [PATCH] remove mathcomp-dev-coq-8.17 Docker job --- .github/workflows/docker-action.yml | 1 - meta.yml | 2 -- 2 files changed, 3 deletions(-) diff --git a/.github/workflows/docker-action.yml b/.github/workflows/docker-action.yml index d2a09b6..2dc8190 100644 --- a/.github/workflows/docker-action.yml +++ b/.github/workflows/docker-action.yml @@ -26,7 +26,6 @@ jobs: - 'mathcomp/mathcomp:2.2.0-coq-8.16' - 'mathcomp/mathcomp:2.2.0-coq-8.19' - 'mathcomp/mathcomp:2.2.0-coq-dev' - - 'mathcomp/mathcomp-dev:coq-8.17' - 'mathcomp/mathcomp-dev:coq-8.19' - 'mathcomp/mathcomp-dev:coq-dev' fail-fast: false diff --git a/meta.yml b/meta.yml index 0341cfb..0d3bf59 100644 --- a/meta.yml +++ b/meta.yml @@ -52,8 +52,6 @@ tested_coq_opam_versions: repo: 'mathcomp/mathcomp' - version: '2.2.0-coq-dev' repo: 'mathcomp/mathcomp' -- version: 'coq-8.17' - repo: 'mathcomp/mathcomp-dev' - version: 'coq-8.19' repo: 'mathcomp/mathcomp-dev' - version: 'coq-dev'