From 786cd1abdffb079eb69c6ed36f827bee3d393c1a Mon Sep 17 00:00:00 2001
From: Xiao <jumormt@163.com>
Date: Fri, 2 Aug 2024 16:34:10 +1000
Subject: [PATCH] Create docker-publish-arm.yml

---
 .github/workflows/docker-publish-arm.yml | 31 ++++++++++++++++++++++++
 1 file changed, 31 insertions(+)
 create mode 100644 .github/workflows/docker-publish-arm.yml

diff --git a/.github/workflows/docker-publish-arm.yml b/.github/workflows/docker-publish-arm.yml
new file mode 100644
index 0000000..9256072
--- /dev/null
+++ b/.github/workflows/docker-publish-arm.yml
@@ -0,0 +1,31 @@
+name: Docker
+
+on:
+  push:
+    branches: [ main ]
+  repository_dispatch:
+    types: [ new-commit-from-SVF ]
+jobs:
+  docker-image-arm:
+    if: github.repository == 'SVF-tools/Teaching-Software-Analysis'
+    runs-on: ubuntu-latest
+    
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+      - name: Login to Docker Hub
+        uses: docker/login-action@v1
+        with:
+          username: ${{secrets.DOCKER_USER}}
+          password: ${{secrets.DOCKER_PASSWD}}
+      - name: Set up Docker Buildx
+        uses: docker/setup-buildx-action@v1
+        
+      - name: Build and push arm image
+        uses: docker/build-push-action@v2
+        with:
+          context: .
+          file: ./Dockerfile
+          push: true
+          tags: ${{secrets.DOCKER_USER}}/teaching-software-analysis:latest-aarch64
+          platforms: linux/arm64