Merge pull request #100 from simon-wg/main #22

Sign in to view logs

Summary
Jobs
- Build
- docker
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	17s
Build	14s
Build	14s
docker	0s
docker	0s
docker	0s
	45s