diff --git a/.gitea/workflows/build.yaml b/.gitea/workflows/build.yaml new file mode 100644 index 0000000..b1b03ca --- /dev/null +++ b/.gitea/workflows/build.yaml @@ -0,0 +1,37 @@ +--- +name: build +on: + - push + - pull_request + +jobs: + build: + container: + image: focs.ji.sjtu.edu.cn:5000/gitea/runner-images:ubuntu-latest + steps: + - name: Check out repository code + uses: https://gitea.com/BoYanZh/checkout@focs + - name: Display Python3 version + run: python3 --version + - name: Install PDM + run: | + echo curl + curl -sSL https://ghp.ci/https://raw.githubusercontent.com/pdm-project/pdm/main/install-pdm.py -o install-pdm.py + echo sed + sed -i 's|https://github.com|https://ghp.ci/https://github.com|g' install-pdm.py + echo python3 + python3 install-pdm.py -p /usr + - name: Display PDM version + run: pdm --version + - name: PDM install dependencies + run: | + pdm install + - name: Lint + run: | + pdm run lint + - name: Test + run: | + pdm run test + - name: Run + run: | + pdm run app --help diff --git a/pyproject.toml b/pyproject.toml index 2f50cda..0ae71ca 100644 --- a/pyproject.toml +++ b/pyproject.toml @@ -48,6 +48,7 @@ warn_unused_ignores = true disallow_any_generics = true check_untyped_defs = true no_implicit_reexport = true +disable_error_code = "import-untyped" disallow_untyped_defs = true