]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Try to fix docker.yml. 10847/head
authorLuca Heltai <luca.heltai@sissa.it>
Wed, 26 Aug 2020 09:53:21 +0000 (11:53 +0200)
committerLuca Heltai <luca.heltai@sissa.it>
Wed, 26 Aug 2020 10:03:17 +0000 (12:03 +0200)
.github/workflows/docker.yml

index d30205c402291e0d60d217b5fa9ddaead546eddd..2b493df895daae59bbdc47e9a1843b7151439057 100644 (file)
@@ -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

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.