Merge pull request #997 from YoannPruvost/dev_formal_2 #299

Sign in to view logs

Summary
Jobs
- check_target
Run details
- Usage
- Workflow file

Triggered via push June 6, 2024 09:29

davideschiavone

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.