dev: copy makefile before running commands

centre-for-humanities-computing · Oct 12, 2023 · 8612e07 · 8612e07
1 parent f921e40
commit 8612e07
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/Dockerfile.dev b/Dockerfile.dev
@@ -10,6 +10,7 @@ COPY requirements-dev.txt ./
 RUN pip install -r requirements-dev.txt
 
 ## Run static-type-checks to initialise the cache
+COPY Makefile ./
 RUN make type-check
 
 ## Initialise pre-commit