Skip to content
Verification

Merge added default parameters #20

Sign in to view logs

Merge added default parameters

Merge added default parameters #20

Triggered via push April 10, 2024 14:45
@meiniKimeiniKi
pushed 1dfa86e
main
Status Success
Total duration 47m 46s
Artifacts –

verif.yml

on: push
Run rvtests
2m 28s
Run rvtests
Run RISCOF tests
44m 59s
Run RISCOF tests
Cover insn checks
8m 44s
Cover insn checks
Cover reg checks
8m 33s
Cover reg checks
BMC insn checks
28m 55s
BMC insn checks
BMC reg checks
3m 11s
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/.