summaryrefslogtreecommitdiff
path: root/.github/workflows/lint.yml
AgeCommit message (Expand)Author
2023-08-18CI: make linters emit colored outputEli Schwartz
2023-08-18run_mypy: add option to run once for each supported version of pythonEli Schwartz
2022-11-28github workflows: upgrade actions/checkout to version 3Eli Schwartz
2022-11-28github workflows: upgrade setup-python to version 4Eli Schwartz
2022-10-30ci: Fix usage of concurrency in branches other than masterL. E. Segovia
2022-08-29flake8: run in CIEli Schwartz
2022-06-24chore: Set permissions for GitHub actionsneilnaveen
2022-03-01use a more sane check instead of run_custom_lintEli Schwartz
2022-01-31add types-PyYAML to lint workflowStone Tickle
2021-12-31rename lint workflow for less confusionEli Schwartz