WIP Add CI #1

Open
Adrien wants to merge 39 commits from init-ci into develop
3 changed files with 66 additions and 11 deletions
Showing only changes of commit 2b0eb40ab1 - Show all commits

View File

@@ -13,6 +13,7 @@ steps:
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install poetry
poetry install --only=linters
poetry shell
ruff --output-format sarif . | ./bin/reviewdog -f sarif -reporter gitea-pr-review
- name: mypy
@@ -24,4 +25,5 @@ steps:
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install poetry
poetry install --only=linters
poetry shell
mypy --no-incremental . | ./bin/reviewdog -f mypy -reporter gitea-pr-review