Add CI for spell check and other linters#231

Draft

k4rtik wants to merge 11 commits intorocq-prover:mainfrom

k4rtik:spell-ci

Commits on Mar 24, 2022

Add a CI for spelling check

k4rtik
authored and
MSoegtropIMC
committed
Enable spell check on everything to test

k4rtik
authored and
MSoegtropIMC
committed
One more try

k4rtik
authored and
MSoegtropIMC
committed
Disable unneeded linters

k4rtik
authored and
MSoegtropIMC
committed
Improve performance by switching to python flavor

k4rtik
authored and
MSoegtropIMC
committed
Set secret for creating PR
MSoegtropIMC
committed
Restore file permissions by reverting part of the commit
k4rtik
committed
Fix GITHUB_TOKEN
k4rtik
committed
Restore token for GH action
k4rtik
committed
Try again using PAT environment variable
k4rtik
committed
This is mysterious
k4rtik
committed