Check Formatting

feat: add `github.dev` and `gitpod.io` to known hosts #1411

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
test (8.8.4, release-0.16, 20)	1m 10s
format:required	1s
	1m 11s