deploy-camkes-vm.yml

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

# Build and push docker image on changes to relevant files

name: Deploy CAmkES VM

on:
  push:
    branches:
    - master
    paths:
    - 'scripts/**'
    - 'seL4-platforms/**'
    - 'camkes-vm/**'
  workflow_dispatch:

jobs:
  docker:
    name: Docker (CAmkES VM)
    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: camkes-vm/Dockerfile
        tags: sel4/camkes-vm:latest