CI

ci: update action github/codeql-action from 1b549b9 to 28deaed #125

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Format check	15s
Dependency check	14s
Spec check	23s
Type check	16s
Commit check	17s
	1m 25s