Aman Agrawal e0ed9cc605 ci: Remove CircleCI workaround for buggy CPU count allocation. ... GitHub Actions gives us 2 cpus (probably shared) to run the jobs. Specifying 6 processes here doesn't make a difference since both jobs run in around 5 minutes right now.		2021-03-16 15:11:26 -07:00
..
workflows	ci: Remove CircleCI workaround for buggy CPU count allocation.	2021-03-16 15:11:26 -07:00
pull_request_template.md	docs: Fix more capitalization issues.	2020-10-23 11:46:55 -07:00