CI

Lower the priority of normal keymap and remove some shims #499

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
check (26.3, true)	31s
check (27.1, true)	32s
check (28.2, true)	36s
	1m 39s