Skip to content

deps-update

deps-update #597

Workflow file for this run

# Copyright 2021, Proofcraft Pty Ltd
#
# SPDX-License-Identifier: BSD-2-Clause
# Deploy default.xml to sel4bench-manifest after successful runs.
name: seL4Bench
on:
push:
branches: [master]
paths-ignore:
- '**.md'
# allow manual trigger
workflow_dispatch:
# allow explict trigger from other repos when dependencies have changed
repository_dispatch:
types: [deps-update]
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: sel4bench-manifest
manifest: master.xml
build:
name: Build
needs: code
runs-on: ubuntu-latest
strategy:
fail-fast: false
matrix:
march: [armv7a, armv8a, nehalem, rv64imac]
steps:
- name: Build
uses: seL4/ci-actions/sel4bench@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: HW Run
if: ${{ github.repository_owner == 'seL4' }}
runs-on: ubuntu-latest
needs: [build]
strategy:
fail-fast: false
matrix:
platform:
- sabre
- imx8mm_evk
- odroid_c2
- odroid_xu4
- am335x_boneblack
- tx1
- tx2
- hifive
include:
- platform: pc99
req: skylake
- platform: pc99
req: haswell3
# do not run concurrently with other workflows, but do run concurrently in the build matrix
concurrency: sel4bench-hw-${{ strategy.job-index }}
steps:
- name: Get machine queue
uses: actions/checkout@v4
with:
repository: seL4/machine_queue
path: machine_queue
- name: Get march
id: plat
uses: seL4/ci-actions/march-of-platform@master
with:
platform: ${{ matrix.platform }}
- name: Download image
uses: actions/download-artifact@v4
with:
name: images-${{ steps.plat.outputs.march }}
- name: Run
uses: seL4/ci-actions/sel4bench-hw@master
with:
platform: ${{ matrix.platform }}
req: ${{ matrix.req }}
index: $${{ strategy.job-index }}
env:
HW_SSH: ${{ secrets.HW_SSH }}
- name: Upload results
uses: actions/upload-artifact@v4
with:
# funky expression below is to work around lack of ternary operator
name: sel4bench-results-${{ matrix.platform }}${{ matrix.req != '' && format('-{0}', matrix.req) || '' }}
path: '*.json'
deploy:
name: Deploy
if: ${{ github.repository_owner == 'seL4' }}
runs-on: ubuntu-latest
needs: [code, hw-run]
steps:
- name: Deploy manifest
id: deploy
uses: seL4/ci-actions/manifest-deploy@master
with:
xml: ${{ needs.code.outputs.xml }}
manifest_repo: sel4bench-manifest
env:
GH_SSH: ${{ secrets.CI_SSH }}
- name: Check out website repo
uses: actions/checkout@v4
with:
repository: seL4/website
token: ${{ secrets.PRIV_REPO_TOKEN }}
- name: Get results for web deployment (sabre)
uses: actions/download-artifact@v4
with:
name: sel4bench-results-sabre
- name: Get results for web deployment (haswell)
uses: actions/download-artifact@v4
with:
name: sel4bench-results-pc99-haswell3
- name: Get results for web deployment (skylake)
uses: actions/download-artifact@v4
with:
name: sel4bench-results-pc99-skylake
- name: Get results for web deployment (tx1)
uses: actions/download-artifact@v4
with:
name: sel4bench-results-tx1
- name: Get results for web deployment (hifive)
uses: actions/download-artifact@v4
with:
name: sel4bench-results-hifive
- name: Generate web page
uses: seL4/ci-actions/sel4bench-web@master
with:
manifest_sha: ${{ steps.deploy.outputs.manifest_sha }}
- name: Deploy web page
run: |
mv index.html About/Performance/
git config user.name "seL4 CI"
git config user.email "[email protected]"
git add About/Performance/index.html
git commit -s -m "CI: update performance results"
git push origin master