add TODO

a16z · Jun 7, 2024 · 0161d12 · 0161d12
1 parent 153ce94
commit 0161d12
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/packages/halmos/Dockerfile b/packages/halmos/Dockerfile
@@ -1,4 +1,6 @@
 # FROM ghcr.io/a16z/halmos-builder:latest
+
+# TODO: switch to :latest as soon as the image is available
 FROM ghcr.io/a16z/halmos-builder:chore-workflows
 
 # Enable the virtual environment