Skip to content
Verification

Update readme, add related resources #21

Sign in to view logs

Update readme, add related resources

Update readme, add related resources #21

Triggered via push May 15, 2024 07:57
@meiniKimeiniKi
pushed 6b9917e
dev
Status Success
Total duration 46m 54s
Artifacts –

verif.yml

on: push
Run rvtests
2m 34s
Run rvtests
Run RISCOF tests
44m 1s
Run RISCOF tests
Cover insn checks
9m 9s
Cover insn checks
Cover reg checks
8m 44s
Cover reg checks
BMC insn checks
27m 11s
BMC insn checks
BMC reg checks
3m 22s
BMC reg checks
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
Run rvtests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.
Run RISCOF tests
Node.js 16 actions are deprecated. Please update the following actions to use Node.js 20: actions/cache@v3. For more information see: https://github.blog/changelog/2023-09-22-github-actions-transitioning-from-node-16-to-node-20/.