ci

Merge pull request #550 from tock/bump-reqd-kernel-version #2475

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
ci-build (ubuntu-latest)	10m 4s
ci-build (ubuntu-22.04)	9m 56s
ci-format (ubuntu-latest)	1m 24s
	21m 24s