CI

Add `riscv32imafc` target specs #201

Sign in to view logs

Triggered via pull request January 11, 2024 06:38

nspin

opened #65

nspin:pr/add-riscv32imafc-target-specs

Status Success

Total duration 12m 59s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything