Verification

Merge pull request #3 from meiniKi/dev #52

Sign in to view logs

Triggered via push August 29, 2025 20:19

meiniKi

main

Status Success

Total duration 43m 36s

Artifacts –

verif.yml

on: push

Run RISCOF tests

Cover insn checks

Cover reg checks

BMC insn checks