Adding path to dockerfile

poloniki · Oct 23, 2023 · 6245e98 · 6245e98
1 parent 6541057
commit 6245e98
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build.yml b/.github/workflows/build.yml
@@ -19,6 +19,6 @@ jobs:
         uses: docker/build-push-action@v2
         with:
           context: .
-          file: Dockerfile
+          file: ./Dockerfile
           push: true
           tags: poloniki/quint:latest