WIP Add CI #1

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

View File

@@ -12,7 +12,10 @@ steps:
env
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install ruff
ruff --output-format sarif . | ./bin/reviewdog -f=sarif -reporter=gitea-pr-review -tee
cd backend
ruff --output-format sarif . > /tmp/ruff.log
cat /tmp/ruff.log
cat /tmp/ruff.log | ./bin/reviewdog -f sarif -reporter gitea-pr-review
- name: mypy
image: python:3.12-alpine
@@ -21,4 +24,5 @@ steps:
commands: |
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install mypy
mypy . | ./bin/reviewdog -f=mypy -reporter=gitea-pr-review -tee
cd backend
mypy . | ./bin/reviewdog -f mypy -reporter gitea-pr-review