add_gitea_workflows #17

Merged
brian merged 48 commits from add_gitea_workflows into main 2024-02-25 18:45:08 +01:00
Showing only changes of commit 68ca576639 - Show all commits
+1 -1
View File
@@ -23,4 +23,4 @@ jobs:
- name: PEP8 Check
run: flake8 ./src --benchmark
- name: Type Check
run: mypy ./src
run: mypy ./src --explicit-package-bases --disable-error-code=import-untyped