WIP Add CI #1

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

View File

@@ -7,6 +7,7 @@ steps:
- name: ruff
image: python:3.12-alpine
failure: ignore
secrets: ["reviewdog_gitea_api_token"]
commands: |
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install ruff
@@ -15,6 +16,7 @@ steps:
- name: mypy
image: python:3.12-alpine
failure: ignore
secrets: ["reviewdog_gitea_api_token"]
commands: |
wget -O - -q https://raw.githubusercontent.com/reviewdog/reviewdog/master/install.sh | sh -s latest
pip install mypy