Update paper reference #23
verif.yml
on: push
Run rvtests
2m 45s
Run RISCOF tests
49m 6s
Cover insn checks
8m 32s
Cover reg checks
8m 32s
BMC insn checks
25m 1s
BMC reg checks
3m 11s
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/.
|