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 825a852c67 - Show all commits

View File

@@ -9,10 +9,10 @@ steps:
failure: ignore
secrets: ["reviewdog_gitea_api_token", "gitea_address"]
commands: |
cd backend
env
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install ruff
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
@@ -22,7 +22,7 @@ steps:
failure: ignore
secrets: ["reviewdog_gitea_api_token", "gitea_address"]
commands: |
cd backend
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install mypy
cd backend
mypy . | ./bin/reviewdog -f mypy -reporter gitea-pr-review