use the debug version within the Docker container

.gitlab-ci.yml

@@ -94,7 +94,7 @@ deploy:docker:
   stage: deploy
   script:
     - echo "COPY . /src" >> Dockerfile
-    - echo "RUN cp /src/target/x86_64-unknown-hermit-kernel/release/libhermit.a /root/.cargo/lib/rustlib/x86_64-unknown-hermit/lib" >> Dockerfile
+    - echo "RUN cp /src/target/x86_64-unknown-hermit-kernel/debug/libhermit.a /root/.cargo/lib/rustlib/x86_64-unknown-hermit/lib" >> Dockerfile
     - echo "RUN rm -rf /src" >> Dockerfile
     - echo "WORKDIR /volume" >> Dockerfile
     - docker build -t ${FINAL} .