ℹ️ DO NOT MERGE ℹ️ - running commit + polish through the CI prior to merge #718

Sign in to view logs

Summary
Jobs
- build
- scan
- done
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
scan	2m 29s
build	38m 3s
done	3s
	40m 35s