Update ubuntu_docker.yml

Simpleshell3 · Jul 4, 2024 · 9ad1293 · 9ad1293
1 parent 196eca9
commit 9ad1293
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/ubuntu_docker.yml b/.github/workflows/ubuntu_docker.yml
@@ -28,7 +28,7 @@ jobs:
     - name: Build Docker image
       run: |
         ls
-        pushd /Docker
+        pushd Docker
         docker build  -f Dockerfile.flint.ubuntu.18.04 --build_arg BUILD_TYPE=RELEASE --build-arg NUM_CPU=4  --build-arg FLINT_BRANCH=develop -t moja/flint:ubuntu-18.04 .
         popd