From 60db0f7bb7d40697e52ee23e0001c50766bab8fa Mon Sep 17 00:00:00 2001 From: Luca Heltai Date: Wed, 26 Aug 2020 11:53:21 +0200 Subject: [PATCH] Try to fix docker.yml. --- .github/workflows/docker.yml | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/.github/workflows/docker.yml b/.github/workflows/docker.yml index d30205c402..2b493df895 100644 --- a/.github/workflows/docker.yml +++ b/.github/workflows/docker.yml @@ -8,6 +8,9 @@ jobs: build-master-docker: runs-on: ubuntu-latest steps: + - name: Checkout + uses: actions/checkout@v2 + - name: Build and push Docker image of master uses: docker/build-push-action@v1 with: @@ -17,4 +20,4 @@ jobs: repository: dealii/dealii add_git_labels: true tags: master-focal - path: contrib/docker + path: ./contrib/docker -- 2.39.5