Type-check

Do not add unique summaries over how many done, limit counts to 5 max… #2929

Sign in to view logs

Summary
Jobs
- typing
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
typing	9m 35s
	9m 35s