fix redis error

taikoxyz · Oct 24, 2024 · 73be4b7 · 73be4b7
1 parent d85384b
commit 73be4b7
Show file tree

Hide file tree

Showing 7 changed files with 171 additions and 228 deletions.
diff --git a/.dockerignore b/.dockerignore
@@ -19,6 +19,6 @@
 !/provers/sgx/setup
 !/kzg_settings_raw.bin
 !/core
-!/tasks
+!/taskdb
 !/makefile
 !/script