Skip to content

Zynqmp 2022 1

Zynqmp 2022 1 #580

Workflow file for this run

# Copyright 2023, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause
# Actions to run on pull requests
name: Camkes VM Examples
on:
pull_request_target:
types: [opened, reopened, synchronize, labeled]
# downgrade permissions to read-only as you would have in a standard PR action
permissions:
contents: read
jobs:
code:
name: Freeze Code
runs-on: ubuntu-latest
outputs:
xml: ${{ steps.repo.outputs.xml }}
steps:
- id: repo
uses: seL4/ci-actions/repo-checkout@master
with:
manifest_repo: camkes-vm-examples-manifest
manifest: master.xml
sha: ${{ github.event.pull_request.head.sha }}
build:
name: Build
needs: [code]
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
march: [nehalem, armv7a, armv8a]
steps:
- uses: seL4/ci-actions/camkes-vm@master
with:
xml: ${{ needs.code.outputs.xml }}
march: ${{ matrix.march }}
- name: Upload images
uses: actions/upload-artifact@v4
with:
name: images-${{ matrix.march }}
path: '*-images.tar.gz'
hw-run:
name: Hardware
runs-on: ubuntu-latest
needs: [build]
if: ${{ github.repository_owner == 'seL4' &&
(github.event_name == 'push' ||
github.event_name == 'pull_request_target' &&
github.event.action != 'labeled' &&
contains(github.event.pull_request.labels.*.name, 'hw-test') ||
github.event_name == 'pull_request_target' &&
github.event.action == 'labeled' &&
github.event.label.name == 'hw-test') }}
strategy:
fail-fast: false
matrix:
march: [nehalem, armv7a, armv8a]
steps:
- name: Get machine queue
uses: actions/checkout@v4
with:
repository: seL4/machine_queue
path: machine_queue
token: ${{ secrets.PRIV_REPO_TOKEN }}
- name: Download image
uses: actions/download-artifact@v4
with:
name: images-${{ matrix.march }}
- name: Run
uses: seL4/ci-actions/camkes-vm-hw@master
with:
march: ${{ matrix.march }}
index: $${{ strategy.job-index }}
env:
HW_SSH: ${{ secrets.HW_SSH }}