From 6d6a626b6b3ac04a7ca492eec288349c13878c24 Mon Sep 17 00:00:00 2001 From: "Aaron D. Lee" Date: Wed, 1 Apr 2026 18:25:16 -0400 Subject: [PATCH] Fix CI: use public git.golfcards.club URL for checkout Container can't resolve internal gitea:3000 hostname. Clone from public HTTPS URL instead. Co-Authored-By: Claude Opus 4.6 (1M context) --- .gitea/workflows/ci.yml | 12 +++++------- 1 file changed, 5 insertions(+), 7 deletions(-) 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