Pull gbenm/pintos:latest

gbenm · Dec 24, 2021 · f41db7a · f41db7a
1 parent 8249be6
commit f41db7a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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