CI

ci: update action github/codeql-action from dd74661 to 5f8171a #42

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Dependency check	10s
Commit check	13s
Type check	14s
Format check	11s
Spec check	23s
	1m 11s