Skip to content
Verification

Workflow: fix sail path, improve RISCOF error recognition #9

Sign in to view logs

Workflow: fix sail path, improve RISCOF error recognition

Workflow: fix sail path, improve RISCOF error recognition #9

Re-run triggered March 1, 2024 18:02
@meiniKimeiniKi
c3d9af1
dev
Status Success
Total duration 45m 34s
Artifacts –

verif.yml

on: push
Run rvtests
2m 13s
Run rvtests
Run RISCOF tests
42m 59s
Run RISCOF tests
Cover insn checks
8m 32s
Cover insn checks
Cover reg checks
8m 49s
Cover reg checks
BMC insn checks
23m 37s
BMC insn checks
BMC reg checks
3m 52s
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/.