CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Commit check	2m 53s
Dependency check	11s
Format check	2m 44s
Spec check	2m 51s
Type check	2m 33s
	11m 12s