sel4bench.yml

# 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 "ci@sel4.systems"
        git add About/Performance/index.html
        git commit -s -m "CI: update performance results"
        git push origin master