Skip to content
Verification

Ignore upper x-regs instead of reading zeros #19

Sign in to view logs

Ignore upper x-regs instead of reading zeros

Ignore upper x-regs instead of reading zeros #19

Triggered via push April 4, 2024 11:20
@meiniKimeiniKi
pushed e2a8cb5
tt06_sky130
Status Success
Total duration 30m 19s
Artifacts –

verif.yml

on: push
Run rvtests
2m 14s
Run rvtests
Run RISCOF tests
27m 45s
Run RISCOF tests
Cover insn checks
8m 50s
Cover insn checks
Cover reg checks
8m 50s
Cover reg checks
BMC insn checks
24m 8s
BMC insn checks
BMC reg checks
3m 20s
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/.