CI

Add a note about how to delete _only_ the premium assets from a local repo #308

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check Style	14m 33s
linux / nightly	16m 23s
macOS / nightly	23m 23s
windows / nightly	34m 54s
CI is green	1s
	1h 29m 14s