CI

Introduce `/redraw` command #1309

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Check coding style	1m 21s
Check spelling	16s
macOS	6m 22s
Linux (debian)	5m 19s
Linux (fedora)	6m 28s
Linux (ubuntu)	8m 50s
	28m 36s