WIP: docs pipeline

.gitlab-ci.yml

@@ -38,14 +38,13 @@ build-testenv:
   stage: setup
   image: docker:20.10
   script:
-    - cd .docker
     - docker login -u gitlab-ci-token -p $CI_JOB_TOKEN $CI_REGISTRY
-    # Attempt to reuse the previously stored image.
     - docker pull "$OCTAVE_REGISTRY_IMAGE" || true
     - docker build
+      --file .docker/Dockerfile
       --pull
       --cache-from "$OCTAVE_REGISTRY_IMAGE"
-      -t "$OCTAVE_REGISTRY_IMAGE" .
+      --tag "$OCTAVE_REGISTRY_IMAGE" .
     - docker push "$OCTAVE_REGISTRY_IMAGE"