diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index d4e4dcd..bf4101a 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -18,8 +18,6 @@ jobs:
           - mathcomp/mathcomp:2.2.0-coq-8.17
           - mathcomp/mathcomp:2.2.0-coq-8.18
           - mathcomp/mathcomp:2.2.0-coq-8.19
-          - mathcomp/mathcomp-dev:coq-8.16
-          - mathcomp/mathcomp-dev:coq-8.17
           - mathcomp/mathcomp-dev:coq-8.18
           - mathcomp/mathcomp-dev:coq-8.19
           - mathcomp/mathcomp-dev:coq-dev