diff --git a/runner/runner.go b/runner/runner.go
index d70a593..fdb8e3c 100644
--- a/runner/runner.go
+++ b/runner/runner.go
@@ -85,6 +85,7 @@ https://dl-cdn.alpinelinux.org/alpine/v3.17/community`), 0600); err != nil {
 		[]string{"--bind", rootfs, "/",
 			"--ro-bind", src, "/src",
 			"--dev-bind", "/dev", "/dev",
+			"--dev-bind", "/proc", "/proc",
 			"--bind", tmp, "/work",
 			"--unshare-user", "--uid", "1000", "--gid", "1000",
 			"--setenv", "HOME", "/home/repro",