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