CI

Use GitHub API for pushes by default and require explicit `github-token` when using custom tokens #780

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Lint workflows	11s
Typecheck	16s
Lint	18s
Test	28s
CI OK	3s
	1m 16s