diff --git a/Dockerfile b/Dockerfile index 807901a..fec6a9b 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -FROM veridise/picus:base +FROM chyanju/picus:base.pldi23 # copy current version of Picus COPY ./ /Picus/