Skip to content
Formal verification

Introduce width parameter #126

Sign in to view logs

Introduce width parameter

Introduce width parameter #126

Triggered via push October 5, 2024 19:39
@olofkolofk
pushed 5d296c5
width
Status Failure
Total duration 18s
Artifacts –

formal.yml

on: push
Run RISCV-formal verification suite
8s
Run RISCV-formal verification suite
Fit to window
Zoom out
Zoom in

Annotations

1 error and 1 warning
Run RISCV-formal verification suite
API rate limit exceeded for 52.238.25.0. (But here's the good news: Authenticated requests get a higher rate limit. Check out the documentation for more details.) If you reach out to GitHub Support for help, please include the request ID CC02:874D5:7613B22:77283C2:670195E8 and timestamp 2024-10-05 19:39:20 UTC.
Run RISCV-formal verification suite
The following actions use a deprecated Node.js version and will be forced to run on node20: YosysHQ/setup-oss-cad-suite@v2. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/