PR check - Title

Merge inf_dev_2023 into inf_dev_2024 #41

Sign in to view logs

Summary
Jobs
- check_title
Run details
- Usage
- Workflow file

Triggered via pull request May 6, 2024 16:36

epernod

edited #13

inf_dev_2023

Status Skipped

Total duration 2s

Artifacts –

pr-title-checker.yml

on: pull_request