Lintcheck

Use interned symbols instead of strings in more places #3743

Sign in to view logs

Summary
Jobs
- base
- head
- diff
Run details
- Usage
- Workflow file

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
head	8m 30s
base	8m 36s
diff	25s
	17m 31s