RISC-V Formal Verification

Merge pull request #1 from Peter-Herrmann/CI #5

Sign in to view logs

Summary
Jobs
- setup
Run details
- Usage
- Workflow file

Triggered via push March 7, 2025 04:55

main

Status Success

Total duration 2h 39m 45s

Artifacts –

riscv-formal.yml

on: push

Annotations

1 warning

The Ubuntu-20.04 brownout takes place from 2025-02-01. For more details, see https://github.com/actions/runner-images/issues/11101