CI

ci: update action actions/checkout from 11bd719 to de0fac2 #283

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Commit check	2m 58s
Type check	2m 45s
Spec check	2m 54s
Dependency check	11s
Format check	2m 44s
	11m 32s