From 642afb918ba936ddca62948800d214b64b20e24d Mon Sep 17 00:00:00 2001 From: Matthias Goergens Date: Wed, 30 Oct 2024 16:19:29 +0800 Subject: [PATCH] Ignore MockProver's temporary files `load_once_tables` produces temporary files. Generally, the fuction tries to clean them up. But if you kill your process at just the right (or wrong) time, it can leak these files. Here we tell git to ignore them, so they don't accidentally become part of the repository with a careless commit. (We could put some extra time and effort into avoiding the leaking of the temporary files in the first place. But it's not really a big enough problem for us to care.) --- ceno_zkvm/.gitignore | 1 + 1 file changed, 1 insertion(+) diff --git a/ceno_zkvm/.gitignore b/ceno_zkvm/.gitignore index 8db038a03..b38ddc923 100644 --- a/ceno_zkvm/.gitignore +++ b/ceno_zkvm/.gitignore @@ -1 +1,2 @@ tracing.folded +.tmp*