lint

Leave default PLIC configuration to single core for consistency #3089

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
lint-cxx	9s
lint-tcl	21s
lint-license	9s
lint-sv	39s
	1m 18s