WIP Add CI #1

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

View File

@@ -7,13 +7,14 @@ steps:
- name: ruff
image: python:3.12-alpine
failure: ignore
commands:
- pip install ruff
- ruff --output-format github .
commands: |
pip install ruff
ruff --output-format diff .
- name: mypy
image: python:3.12-alpine
failure: ignore
commands: |
pip install mypy
mypy .
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s [vX.Y.Z]
pip install mypy
mypy . | eviewdog -f=mypy -reporter=gitea-pr-review -tee