From 6b0dc6d144c2f593429422c0bf12a6d3dd049673 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 23 Dec 2021 14:43:12 -0800
Subject: [PATCH] Create docker-image.yml

thanks #5735
---
 .github/workflows/docker-image.yml | 58 ++++++++++++++++++++++++++++++
 1 file changed, 58 insertions(+)
 create mode 100644 .github/workflows/docker-image.yml

diff --git a/.github/workflows/docker-image.yml b/.github/workflows/docker-image.yml
new file mode 100644
index 000000000..fa02c0aec
--- /dev/null
+++ b/.github/workflows/docker-image.yml
@@ -0,0 +1,58 @@
+name: Publish Docker image
+
+on:
+  schedule:
+    - cron: "0 1 * * 0" # every Sunday at 1 am
+  workflow_dispatch: # on button click
+
+jobs:
+  push_to_registry:
+    name: Push Docker image to Docker Hub
+    runs-on: ubuntu-latest
+    steps:
+      - name: Check out the repo
+        uses: actions/checkout@v2
+
+      - name: Log in to Docker Hub
+        uses: docker/login-action@v1
+        with:
+          username: ${{ secrets.DOCKER_USERNAME }}
+          password: ${{ secrets.DOCKER_PASSWORD }}
+
+      # -------
+      # BARE Z3
+      # -------
+      - name: Extract metadata (tags, labels) for Bare Z3 Docker Image
+        id: meta
+        uses: docker/metadata-action@v3
+        with:
+          images: deemetree/z3-fork
+          flavor: |
+            latest=auto
+            prefix=ubuntu-20.04-bare-z3-
+          tags: |
+            type=schedule,pattern={{date 'YYYYMMDD'}}
+            type=ref,event=tag
+            type=edge
+            type=sha,prefix=ubuntu-20.04-bare-z3-sha-
+      - name: Build and push Bare Z3 Docker Image
+        uses: docker/build-push-action@v2.7.0
+        with:
+          context: .
+          push: true
+          target: bare-z3
+          file: ./docker/ubuntu-20-04.Dockerfile
+          tags: ${{ steps.meta.outputs.tags }}
+          labels: ${{ steps.meta.outputs.labels }}
+
+      # ------------------------------
+      # Repo description on Docker Hub
+      # ------------------------------
+      - 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