Lint Check (pre-commit)

Add build option to turn off dynamic size type selection #304

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Pre-Commit check on PR	10s
Pre-Commit check on Push	0s
	10s