PR check - Title

Merge inf_dev_2022 into inf_dev_2024 #32

Sign in to view logs

Summary
Jobs
- check_title
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check_title	0s
	0s