name: CI
on:
push:
branches: ["main"]
pull_request:
jobs:
build:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@stable
with:
components: clippy
- name: Install RISC-V GCC
run: |
sudo apt-get update
sudo apt-get install -y gcc-riscv64-linux-gnu
- name: Cargo check
run: cargo check --workspace
- name: Cargo clippy
run: cargo clippy --workspace -- -D warnings
- name: Build guest program
run: sh examples/advanced/riscv_program/build.sh
- name: Run advanced_syscalls example
run: cargo run --example advanced_syscalls -- examples/advanced/riscv_program/micro