test.yaml

name: Test Repository

on:
  workflow_dispatch:
  push:

jobs:
  test:
    runs-on: ubuntu-latest
    container:
      image: trustworthysystems/sel4
      volumes:
        - .:/code
    steps:
    - uses: actions/checkout@v4
      with:
        path: rel4_kernel
    - uses: actions/checkout@v4
      with:
        ref: 'mi_dev'
        path: kernel
        repository: rel4team/seL4_c_impl
    - name: Install generaic tools
      run: apt update && apt install -y wget
    - name: setup rust toolchain
      run: curl -sSf https://sh.rustup.rs | bash -s -- -y --no-modify-path \
            --default-toolchain nightly-2024-02-01 \
            --component rust-src
    - name: Make rel4_kernel
      run: cd rel4_kernel && make run
    - name: Build kernel
      run: cd kernel && cmake cmake -C kernel-settings-riscv64.cmake \                                     ✔
        -G Ninja \
        -S . \
        -B build;
    - name: Build Kernel
      run: cd kernel && ninja -C build