.

Quafadas · May 19, 2024 · e8bdbff · e8bdbff
1 parent cf8f27b
commit e8bdbff
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/.devcontainer/Dockerfile → Dockerfile b/.devcontainer/Dockerfile → Dockerfile
@@ -3,7 +3,7 @@ FROM mcr.microsoft.com/devcontainers/base:ubuntu
 # https://get-coursier.io/docs/cli-installation
 RUN curl -fL "https://github.com/coursier/launchers/raw/master/cs-x86_64-pc-linux.gz" | gzip -d > cs && chmod +x cs && mv cs /usr/local/bin/cs
 
-COPY ../build.sc .
+COPY build.sc .
 
 # We should have all the deps to run Metals here, saving time from a cold start.
 RUN cs install metals
@@ -12,7 +12,7 @@ RUN cs install metals
 RUN ./mill __.prepareOffline
 
 # Copy source into container
-COPY ../. .
+COPY . .
 
 # Compile the project - anything that has hit "main" should (at least!) compile
 # And setup mills BSP server for metals