Add case for no buffers #16
verif.yml
on: push
Run rvtests
2m 24s
Run RISCOF tests
18m 17s
Cover insn checks
8m 47s
Cover reg checks
8m 58s
BMC insn checks
23m 52s
BMC reg checks
3m 9s
Annotations
1 error and 2 warnings
Run RISCOF tests
Process completed with exit code 2.
|
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/.
|