diff --git a/.circleci/Dockerfile.8.17 b/.circleci/Dockerfile.8.17
index ccf5103e5..42a3e9cb3 100644
--- a/.circleci/Dockerfile.8.17
+++ b/.circleci/Dockerfile.8.17
@@ -1,6 +1,6 @@
 FROM coqorg/coq:8.17.1
 ENV OPAMYES true
-ENV VST_NEEDED 2.11.1
+ENV VST_NEEDED 2.12
 
 RUN \
     opam install -j `nproc` \
diff --git a/.circleci/Dockerfile.8.18 b/.circleci/Dockerfile.8.18
new file mode 100644
index 000000000..3db3841c4
--- /dev/null
+++ b/.circleci/Dockerfile.8.18
@@ -0,0 +1,9 @@
+FROM coqorg/coq:8.18
+ENV OPAMYES true
+RUN opam install -j `nproc` \
+         menhir \
+         ocamlbuild \
+         coq-mathcomp-ssreflect \
+         coq-ext-lib \
+         coq-simple-io \
+         coq-quickchick
diff --git a/.circleci/Dockerfile.8.19 b/.circleci/Dockerfile.8.19
new file mode 100644
index 000000000..025cecd4f
--- /dev/null
+++ b/.circleci/Dockerfile.8.19
@@ -0,0 +1,10 @@
+FROM coqorg/coq:8.19
+ENV OPAMYES true
+RUN opam install -j `nproc` \
+         ocamlbuild \
+         coq-ext-lib \
+         coq-simple-io \
+         menhir \
+         coq-mathcomp-ssreflect \
+         coq-vst \
+         coq-quickchick
diff --git a/.circleci/Makefile b/.circleci/Makefile
index 1799972df..9902ade11 100644
--- a/.circleci/Makefile
+++ b/.circleci/Makefile
@@ -1,6 +1,4 @@
-all: 8.15 8.16
-
-# all: 8.15 8.16 dev
+all: 8.17 8.18 8.19 dev
 
 %:      IMAGE=ysli/sfdev:$@
 %:      DOCKERFILE=Dockerfile.$@
diff --git a/.circleci/config.yml b/.circleci/config.yml
index 6f712d548..165b6396b 100644
--- a/.circleci/config.yml
+++ b/.circleci/config.yml
@@ -24,6 +24,21 @@ jobs:
             docker build -t deepspec/sfdev:8.16 - < Dockerfile.8.16
             docker push deepspec/sfdev:8.16
             fi
+            if fgrep -q '[docker 8.17]' \<<< $changes; then
+            echo "Building 8.17"
+            docker build -t deepspec/sfdev:8.17 - < Dockerfile.8.17
+            docker push deepspec/sfdev:8.17
+            fi
+            if fgrep -q '[docker 8.18]' \<<< $changes; then
+            echo "Building 8.18"
+            docker build -t deepspec/sfdev:8.18 - < Dockerfile.8.18
+            docker push deepspec/sfdev:8.18
+            fi
+            if fgrep -q '[docker 8.19]' \<<< $changes; then
+            echo "Building 8.19"
+            docker build -t deepspec/sfdev:8.19 - < Dockerfile.8.19
+            docker push deepspec/sfdev:8.19
+            fi
             if fgrep -q '[docker dev]' \<<< $changes; then
             echo "Building dev"
             docker build -t deepspec/sfdev:dev - < Dockerfile.dev