CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Dependency check	13s
Commit check	12s
Format check	14s
Spec check	26s
Type check	15s
	1m 20s