CI

ci: update action codecov/codecov-action from 0565863 to ad3126e #130

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Commit check	18s
Dependency check	10s
Format check	12s
Spec check	28s
Type check	17s
	1m 25s