Merge updated paper reference #24
verif.yml
on: push
Run rvtests
2m 30s
Run RISCOF tests
49m 14s
Cover insn checks
8m 45s
Cover reg checks
8m 53s
BMC insn checks
25m 14s
BMC reg checks
3m 13s
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/.
|