Create docker-publish-arm.yml

.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