deploy-sel4test-hw.yml

# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause

# Build and push sel4test-hw docker image on changes to relevant files

name: Deploy seL4 HW

on:
  push:
    branches:
    - master
    paths:
    - 'scripts/**'
    - 'seL4-platforms/**'
    - 'sel4test-hw/**'
  workflow_dispatch:
  # allow explict trigger from other repos when dependencies have changed
  repository_dispatch:
    types: [deps-update]

jobs:
  docker:
    name: Docker (seL4Test/HW Build)
    if: ${{ github.repository_owner == 'seL4' }}
    runs-on: ubuntu-latest
    steps:
    - uses: docker/setup-buildx-action@v2
    - uses: docker/login-action@v2
      with:
        username: ${{ secrets.DOCKER_USERNAME }}
        password: ${{ secrets.DOCKER_PASSWORD }}
    - uses: docker/build-push-action@v3
      with:
        push: true
        file: sel4test-hw/Dockerfile
        tags: sel4/sel4test-hw:latest