docker_publish_x86.yml

name: Docker

on:
  push:
    branches: [ master ]

jobs:
  docker-x86-image:
    if: github.repository == 'SVF-tools/SVF'
    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 x86 image
        uses: docker/build-push-action@v2
        with:
          context: .
          file: ./Dockerfile
          push: true
          tags: ${{secrets.DOCKER_USER}}/svf:latest
          platforms: linux/amd64
          
  dispatch:
      needs: docker-x86-image
      runs-on: ubuntu-latest
      strategy: 
        matrix:
          repo: ['SVF-tools/Software-Security-Analysis', 'SVF-tools/Teaching-Software-Analysis', 'SVF-tools/Teaching-Software-Verification', 'SVF-tools/SVF-example']
      steps:
      -
        name: dispatch
        uses: peter-evans/repository-dispatch@v1
        with:
          token: ${{ secrets.yulei_git_key }}
          repository: ${{ matrix.repo }}
          event-type: new-commit-from-SVF