👷 Life is more complicated... make the number of jobs configurable

2024-04-12 23:04:40 +02:00
parent 57b0e94061
commit 8d6b8fb09c
3 changed files with 12 additions and 14 deletions
--- a/.dockerignore
+++ b/.dockerignore
@@ -0,0 +1,5 @@
+# .git directory is not filtered here: we need to copy the .git directory in the builder image to compute the version.
+dist
+medias
+README.md
+target