WIP Add CI #1

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

View File

@@ -13,8 +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
poetry run ruff --output-format sarif . | ./bin/reviewdog -f sarif -reporter gitea-pr-review
- name: mypy
image: python:3.12-alpine
@@ -25,5 +24,4 @@ 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
poetry run mypy --no-incremental . | ./bin/reviewdog -f mypy -reporter gitea-pr-review