typecheck and linting

Update the styling of the post header section. #4920

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
install	17s
build	50s
check-types-and-lint	37s
run-prebuild-tests	41s
run-end-to-end-tests	2m 6s
	4m 31s