Force docker build

rsdy · rsdy · commit 47540213a1d4 · 2023-07-11T14:49:03.000+01:00
diff --git a/.gitpod.Dockerfile b/.gitpod.Dockerfile
@@ -1,4 +1,4 @@
-FROM gitpod/workspace-nix:latest
+FROM gitpod/workspace-nix:2023-05-09-03-02-39
 
 ARG onetime_cache_dir="/tmp/.workdir"
 

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-FROM gitpod/workspace-nix:latest`
	`1`	`+FROM gitpod/workspace-nix:2023-05-09-03-02-39`
`2`	`2`
`3`	`3`	`ARG onetime_cache_dir="/tmp/.workdir"`
`4`	`4`