WIP Add CI #1

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

View File

@@ -10,8 +10,7 @@ steps:
python3 -m venv local
cd ./local
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
export PATH="${PWD}/local/bin:${PATH}"
source ./local/bin/activate
source ./bin/activate
pip install poetry
poetry install --only=linters --no-root
@@ -20,15 +19,11 @@ steps:
failure: ignore
secrets: ["reviewdog_gitea_api_token", "gitea_address"]
commands: |
export PATH="./local/bin:${PATH}"
cd backend
poetry run ruff --output-format sarif . | reviewdog -f sarif -reporter gitea-pr-review -filter-mode nofilter
poetry run ruff --output-format sarif backend | ./local/bin/reviewdog -f sarif -reporter gitea-pr-review -filter-mode nofilter
- name: mypy
image: python:3.12-alpine
failure: ignore
secrets: ["reviewdog_gitea_api_token", "gitea_address"]
commands: |
export PATH="./local/bin:${PATH}"
cd backend
poetry run mypy --no-incremental . | reviewdog -f mypy -reporter gitea-pr-review -filter-mode nofilter
poetry run mypy --no-incremental backend | ./local/bin/reviewdog -f mypy -reporter gitea-pr-review -filter-mode nofilter