RISC-V Formal Verification

Removed redundant results from workflow #4

Sign in to view logs

Summary
Jobs
- setup
Run details
- Usage
- Workflow file

Triggered via push March 7, 2025 01:37

CI

Status Success

Total duration 2h 34m 25s

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