Merge pull request #994 from YoannPruvost/dev_formal #76

Sign in to view logs

Summary
Jobs
- check_target
Run details
- Usage
- Workflow file

Triggered via push June 3, 2024 07:34

dev

Status Failure

Total duration 11s

Artifacts –

check_target_on_pr.yml

on: push

Annotations

1 error

check_target

Process completed with exit code 1.