check_target

Merge pull request #994 from YoannPruvost/dev_formal #46

Sign in to view logs

Summary
Jobs
- check_target
Run details
- Usage
- Workflow file

Triggered via push June 3, 2024 06:50

dev

Status Failure

Total duration 14s

Artifacts –

check_target_on_pr.yml

on: push

Annotations

1 error

check_target

Process completed with exit code 1.