WIP Add CI #1

Open
Adrien wants to merge 39 commits from init-ci into develop
2 changed files with 24 additions and 2 deletions
Showing only changes of commit 0cddf9dc7e - Show all commits

View File

@@ -8,13 +8,14 @@ steps:
image: python:3.12-alpine
failure: ignore
commands: |
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install ruff
ruff --output-format diff .
ruff --output-format sarif . | eviewdog -f=sarif -reporter=gitea-pr-review -tee
- name: mypy
image: python:3.12-alpine
failure: ignore
commands: |
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s [vX.Y.Z]
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install mypy
mypy . | eviewdog -f=mypy -reporter=gitea-pr-review -tee