Skip to content

Add buffers when pc remains constant #15

Add buffers when pc remains constant

Add buffers when pc remains constant #15

Triggered via push April 3, 2024 12:33
Status Failure
Total duration 21m 57s
Artifacts

verif.yml

on: push
Run RISCOF tests
19m 6s
Run RISCOF tests
Cover insn checks
25s
Cover insn checks
Cover reg checks
21s
Cover reg checks
BMC insn checks
26s
BMC insn checks
BMC reg checks
22s
BMC reg checks
Fit to window
Zoom out
Zoom in

Annotations

5 errors and 2 warnings
Cover reg checks
Process completed with exit code 2.
BMC reg checks
Process completed with exit code 2.
Cover insn checks
Process completed with exit code 2.
BMC insn checks
Process completed with exit code 2.
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/.