Skip to content
CHERIoT SAFE Tests

Initial attempt at adding some CI for CHERIoT-SAFE. #9

Sign in to view logs

Initial attempt at adding some CI for CHERIoT-SAFE.

Initial attempt at adding some CI for CHERIoT-SAFE. #9

Workflow file for this run

.github/workflows/main.yml at 6900719
name: CHERIoT SAFE Tests
on:
push:
branches: [ main ]
pull_request:
branches: [ main ]
merge_group:
workflow_dispatch:
jobs:
run-tests:
runs-on: ubuntu-24.04
steps:
- name: Checkout repository and submodules
uses: actions/checkout@v4
with:
submodules: recursive
- name: Install dependencies
run: sudo apt install -y verilator
- name: Build simulator
run: |
verilator --version
cd sim/verilator
./vgen_stdin
./vcomp
- name: Fetch dev container
run: docker pull ghcr.io/cheriot-platform/devcontainer:latest
- name: Build test suite
run: docker run --rm --mount source=$(pwd)/cheriot-safe/cheriot-safe/sim/verilator/obj_dir,target=/new-sim/,type=bind ghcr.io/cheriot-platform/devcontainer:latest /bin/sh -c "sudo cp /new-sim/Vswci_vtb /cheriot-tools/bin/cheriot_ibex_safe_sim && cd /tmp/ && git clone --recurse http://github.com/Microsoft/cheriot-rtos && cd cheriot-rtos/tests && xmake f --sdk=/cheriot-tools --board=ibex-safe-simulator && xmake && xmake run"