Skip to content

cparser-build

cparser-build #210

# Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
#
# SPDX-License-Identifier: BSD-2-Clause
# Build and push cparser-run docker image on changes to relevant files
name: Deploy CParser Run
on:
# the real build trigger is in deploy-cparser-builder
repository_dispatch:
types: [cparser-build, deps-update]
workflow_dispatch:
jobs:
docker:
name: Docker (C Parser Run)
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: cparser-run/Dockerfile
tags: sel4/cparser-run:latest