CI

ci: update action github/codeql-action from 28deaed to ce64ddc - autoclosed #235

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Commit check	2m 48s
Dependency check	15s
Format check	2m 41s
Type check	2m 42s
Spec check	2m 43s
	11m 9s