Check Set-Up & Build

Merge branch 'dev' into feature/clusters-benchmarking #387

Sign in to view logs

Summary
Jobs
- check
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check	26s
check	1s
check	32s
	59s