CI

ci: update action github/codeql-action from dd74661 to 5f8171a (#3) #48

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Commit check	16s
Type check	18s
Format check	11s
Spec check	29s
Dependency check	12s
	1m 26s