WIP Add CI #1

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

View File

@@ -6,14 +6,14 @@ when:
steps:
- name: ruff
image: python:3.12-alpine
failure: ignore
commands:
- pip install ruff
- ruff --output-format github .
- name: mypy
image: python:3.12-alpine
failure: ignore
commands: |
pip install mypy
mypy .
runs_on: [ success, failure ]