CI

Add `riscv32imafc` target specs #202

Sign in to view logs

Triggered via pull request January 11, 2024 06:38

nspin

synchronize #65

nspin:pr/add-riscv32imafc-target-specs

Status Success

Total duration 11m 10s

Artifacts –

push.yaml

on: pull_request

Matrix: Run sel4test

Run other tests

Check dependencies

Check Kani proofs

Build everything