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 2eb8d59a0e - Show all commits

View File

@@ -10,7 +10,7 @@ steps:
commands: |
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install ruff
ruff --output-format sarif . | ./bin/eviewdog -f=sarif -reporter=gitea-pr-review -tee
ruff --output-format sarif . | ./bin/reviewdog -f=sarif -reporter=gitea-pr-review -tee
- name: mypy
image: python:3.12-alpine
@@ -18,4 +18,4 @@ steps:
commands: |
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install mypy
mypy . | ./bin/eviewdog -f=mypy -reporter=gitea-pr-review -tee
mypy . | ./bin/reviewdog -f=mypy -reporter=gitea-pr-review -tee