Update docker-image.yml (#5739)

* Update docker-image.yml towards tweaking script to use ghcr * Update docker-image.yml * Update docker-image.yml * Update docker-image.yml change usr/pwd to names that are more descriptive * Update docker-image.yml rename back to use DOCKER prefix it remains to bind to ghcr.io instead of docker.io * Update ubuntu-20-04.Dockerfile try to use ghcr instead of docker.io * Update docker-image.yml try with chcr token * Update docker-image.yml * Update docker-image.yml * Update docker-image.yml * Update ubuntu-20-04.Dockerfile * Update docker-image.yml
Z3Prover · Dec 26, 2021 · ec3e296 · ec3e296
1 parent 7d311ac
commit ec3e296
Show file tree

Hide file tree

Showing 2 changed files with 18 additions and 15 deletions.
diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
@@ -7,15 +7,17 @@ on:
 
 jobs:
   push_to_registry:
-    name: Push Docker image to Docker Hub
+    name: Push Docker image to GitHub Docker registry
     runs-on: ubuntu-latest
+
     steps:
-      - name: Check out the repo
+      - name: Check out the repo        
         uses: actions/checkout@v2
 
-      - name: Log in to Docker Hub
+      - name: Log in to GitHub Docker registry
         uses: docker/login-action@v1
         with:
+          registry: ghcr.io
           username: ${{ secrets.DOCKER_USERNAME }}
           password: ${{ secrets.DOCKER_PASSWORD }}
 
@@ -26,7 +28,7 @@ jobs:
         id: meta
         uses: docker/metadata-action@v3
         with:
-          images: deemetree/z3-fork
+          images: ghcr.io/z3prover/z3
           flavor: |
             latest=auto
             prefix=ubuntu-20.04-bare-z3-
@@ -37,7 +39,7 @@ jobs:
             type=sha,prefix=ubuntu-20.04-bare-z3-sha-
       - name: Build and push Bare Z3 Docker Image
         uses: docker/[email protected]
-        with:
+        with:  
           context: .
           push: true
           target: bare-z3
@@ -46,13 +48,14 @@ jobs:
           labels: ${{ steps.meta.outputs.labels }}
 
       # ------------------------------
-      # Repo description on Docker Hub
+      # Repo description on GHCR
       # ------------------------------
-      - name: Update repo description
-        uses: peter-evans/dockerhub-description@v2
-        with:
-          repository: deemetree/z3-fork
-          username: ${{ secrets.DOCKER_USERNAME }}
-          password: ${{ secrets.DOCKER_PASSWORD }}
-          short-description: ${{ github.event.repository.description }}
-          readme-filepath: ./docker/README.md
+#      - name: Update repo description
+#        uses: peter-evans/dockerhub-description@v2
+#        with:
+#          registry: ghcr.io        
+#          repository: z3prover/z3
+#          username: ${{ secrets.DOCKER_USERNAME }}
+#          password: ${{ secrets.DOCKER_PASSWORD }}
+#          short-description: ${{ github.event.repository.description }}
+#          readme-filepath: ./docker/README.md
diff --git a/docker/ubuntu-20-04.Dockerfile b/docker/ubuntu-20-04.Dockerfile
@@ -42,4 +42,4 @@ ENTRYPOINT [ "z3" ]
 # ...
 
 # TODO(optional): introduce C/C++ -binding stage
-# ...
+# ...
-Original file line number
+Diff line change
@@ Expand Up / @@ -42,4 +42,4 @@ ENTRYPOINT [ "z3" ] @@
     # ...
     # TODO(optional): introduce C/C++ -binding stage
-    # ...
+    # ...