From 0161d124cde4dfacadda0cc056f1363517f2c3ea Mon Sep 17 00:00:00 2001 From: karmacoma Date: Fri, 7 Jun 2024 16:12:18 -0700 Subject: [PATCH] add TODO --- packages/halmos/Dockerfile | 2 ++ 1 file changed, 2 insertions(+) diff --git a/packages/halmos/Dockerfile b/packages/halmos/Dockerfile index e251d05e..2c79b571 100644 --- 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