WIP Add CI #1

Open
Adrien wants to merge 39 commits from init-ci into develop
4 changed files with 74 additions and 11 deletions
Showing only changes of commit ce671f4b10 - Show all commits

View File

@@ -20,6 +20,7 @@ steps:
secrets: ["reviewdog_gitea_api_token", "gitea_address"]
commands: |
cd ./backend
source ./local/bin/activate
poetry run ruff --output-format sarif . | ./local/bin/reviewdog -f sarif -reporter gitea-pr-review -filter-mode nofilter
- name: mypy
@@ -28,4 +29,5 @@ steps:
secrets: ["reviewdog_gitea_api_token", "gitea_address"]
commands: |
cd ./backend
source ./local/bin/activate
poetry run mypy --no-incremental . | ./local/bin/reviewdog -f mypy -reporter gitea-pr-review -filter-mode nofilter