Development: update docs to pull required images only

This also updates `common/` to pull down the correct Docker images.
readthedocs · Jul 12, 2023 · 0a82415 · 0a82415
1 parent 803db6b
commit 0a82415
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/common b/common
diff --git a/docs/dev/install.rst b/docs/dev/install.rst
@@ -76,7 +76,7 @@ Set up your environment
 
    .. prompt:: bash
 
-      inv docker.pull --only-required
+      inv docker.pull
 
 #. Start all the containers: