improve docker build procedure

2023-11-20 21:15:49 +08:00
parent 2555cdea1c
commit 2b30c6181f
5 changed files with 50 additions and 14 deletions
--- a/.dockerignore
+++ b/.dockerignore
@ -0,0 +1,4 @@
+.direnv
+/target
+/result
+/build