CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Commit check	12s
Dependency check	14s
Spec check	23s
Format check	11s
Type check	20s
	1m 20s