Adapts Quill's work on batching for easy merging + CI changes #9

Sign in to view logs

Summary
Jobs
- build
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	1m 59s
build	1m 56s
build	2m 3s
build	2m 25s
build	2m 32s
	10m 55s