Merge pull request #993 from pascalgouedo/dev_dd_pgo_riscv_formal #82

Sign in to view logs

Summary
Jobs
- check_target
Run details
- Usage
- Workflow file

Triggered via push June 3, 2024 15:30

dev

Status Failure

Total duration 13s

Artifacts –

check_target_on_pr.yml

on: push

Annotations

1 error

check_target

Process completed with exit code 1.