]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fourth attempt.
authorLuca Heltai <luca.heltai@sissa.it>
Mon, 25 Jan 2021 18:37:41 +0000 (19:37 +0100)
committerLuca Heltai <luca.heltai@sissa.it>
Mon, 25 Jan 2021 18:37:46 +0000 (19:37 +0100)
.github/workflows/docker.yml

index 9869b840bd56f73905cd17bee033b21cf0b8d020..d0a97cacd377c568bf490e905d1d896ef2e2edc5 100644 (file)
@@ -8,14 +8,13 @@ jobs:
   build-master-docker:
     runs-on: ubuntu-latest
     steps:
-      -
-        name: Checkout code
+      - name: Checkout code
         uses: actions/checkout@v2
-      -
-        name: Set up Docker Buildx
+
+      - name: Set up Docker Buildx
         uses: docker/setup-buildx-action@v1
-      -
-        name: Login to DockerHub
+
+      - name: Login to DockerHub
         uses: docker/login-action@v1
         with:
           username: ${{ secrets.DOCKER_USERNAME }}
@@ -25,8 +24,7 @@ jobs:
         uses: docker/build-push-action@v2
         with:
           context: ./contrib/docker/
-          cache_froms: type=registry,ref=dealii/dependencies:focal
-          repository: dealii/dealii
+          cache-from: type=registry,ref=dealii/dependencies:focal
           cache-to: type=inline
-          add_git_labels: true
-          tags: master-focal
+          push: true
+          tags: dealii/dealii:master-focal
\ No newline at end of file

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.