diff --git a/.gitea/workflows/ci.yml b/.gitea/workflows/ci.yml index 5e232ee..9d821ca 100644 --- a/.gitea/workflows/ci.yml +++ b/.gitea/workflows/ci.yml @@ -15,8 +15,7 @@ jobs: run: apt-get update && apt-get install -y --no-install-recommends git - name: Checkout run: | - git config --global --add safe.directory "$GITHUB_WORKSPACE" - git clone --depth=1 --branch="${GITHUB_REF_NAME}" "$GITHUB_SERVER_URL/$GITHUB_REPOSITORY" "$GITHUB_WORKSPACE" || git clone --depth=1 "$GITHUB_SERVER_URL/$GITHUB_REPOSITORY" "$GITHUB_WORKSPACE" + git clone --depth=1 --branch="${GITHUB_REF_NAME}" https://git.golfcards.club/alee/soosef.git "$GITHUB_WORKSPACE" || git clone --depth=1 https://git.golfcards.club/alee/soosef.git "$GITHUB_WORKSPACE" - run: pip install ruff black - name: Check formatting run: black --check src/ tests/ frontends/ @@ -32,10 +31,10 @@ jobs: run: apt-get update && apt-get install -y --no-install-recommends git - name: Checkout run: | - git config --global --add safe.directory "$GITHUB_WORKSPACE" - git clone --depth=1 --branch="${GITHUB_REF_NAME}" "$GITHUB_SERVER_URL/$GITHUB_REPOSITORY" "$GITHUB_WORKSPACE" || git clone --depth=1 "$GITHUB_SERVER_URL/$GITHUB_REPOSITORY" "$GITHUB_WORKSPACE" + git clone --depth=1 --branch="${GITHUB_REF_NAME}" https://git.golfcards.club/alee/soosef.git "$GITHUB_WORKSPACE" || git clone --depth=1 https://git.golfcards.club/alee/soosef.git "$GITHUB_WORKSPACE" - run: pip install mypy - - run: mypy src/ + - name: Typecheck + run: mypy src/ test: runs-on: ubuntu-latest @@ -46,8 +45,7 @@ jobs: run: apt-get update && apt-get install -y --no-install-recommends git - name: Checkout run: | - git config --global --add safe.directory "$GITHUB_WORKSPACE" - git clone --depth=1 --branch="${GITHUB_REF_NAME}" "$GITHUB_SERVER_URL/$GITHUB_REPOSITORY" "$GITHUB_WORKSPACE" || git clone --depth=1 "$GITHUB_SERVER_URL/$GITHUB_REPOSITORY" "$GITHUB_WORKSPACE" + git clone --depth=1 --branch="${GITHUB_REF_NAME}" https://git.golfcards.club/alee/soosef.git "$GITHUB_WORKSPACE" || git clone --depth=1 https://git.golfcards.club/alee/soosef.git "$GITHUB_WORKSPACE" - name: Install dependencies run: pip install -e ".[dev]" - name: Run tests