From f41db7a4977344a71ee97abf70b8f869c7eb3244 Mon Sep 17 00:00:00 2001 From: gbenm Date: Fri, 24 Dec 2021 16:25:40 -0600 Subject: [PATCH] Pull gbenm/pintos:latest --- Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 263e10f..2ff7174 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,4 +1,4 @@ -from gbenm/pintos:1.0.0 +from gbenm/pintos:latest arg wdir=/github/workspace arg binPath=/gbenm-actions workdir $wdir