From 625ec983f95fc8bcb00475b649008e71db2fe819 Mon Sep 17 00:00:00 2001 From: Jarron Deng Date: Mon, 21 Sep 2026 03:32:54 -0700 Subject: [PATCH] fix(ci): check out Felix from felix-home, the name the private repo now has On 2026-09-13 the private Felix repository was renamed LeavesJ/felix-home and a public snapshot was created as LeavesJ/Felix. GitHub resolves repository names without regard to case, so the `repository: LeavesJ/felix` both workflows pass to actions/checkout now names the public snapshot. FELIX_DEPLOY_KEY is a deploy key on felix-home, and the snapshot carries only projects/felix, so even a successful clone of it could not tell `felix which` what Elenchus is. `gate` is the required check on main with enforce_admins on, and its last run was 2026-09-04, before the rename. Every pull request opened since would have failed it. main's checkout carries no `ref:`, so this restores exactly what it did before the rename: the default branch of the private harness. No pin is added here. --- .github/workflows/gate.yml | 7 ++++++- .github/workflows/unattended.yml | 3 ++- 2 files changed, 8 insertions(+), 2 deletions(-) diff --git a/.github/workflows/gate.yml b/.github/workflows/gate.yml index ed653f2..8d004ee 100644 --- a/.github/workflows/gate.yml +++ b/.github/workflows/gate.yml @@ -66,11 +66,16 @@ jobs: # Not `continue-on-error`. Everywhere except a fork PR -- every push to # `main` included -- an unreachable harness must FAIL the job rather than # quietly downgrade what `main` is gated by. + # + # felix-home, not felix. The private repo was renamed on 2026-09-13 and a + # public snapshot took the old name. GitHub matches repository names without + # regard to case, so `LeavesJ/felix` now resolves to that snapshot, which + # carries no project but Felix itself and so cannot gate this one. - name: Check out Felix if: steps.ctx.outputs.harness == 'yes' uses: actions/checkout@v5 with: - repository: LeavesJ/felix + repository: LeavesJ/felix-home ssh-key: ${{ secrets.FELIX_DEPLOY_KEY }} path: felix diff --git a/.github/workflows/unattended.yml b/.github/workflows/unattended.yml index 4a6b47e..d0ae54b 100644 --- a/.github/workflows/unattended.yml +++ b/.github/workflows/unattended.yml @@ -52,9 +52,10 @@ jobs: fetch-depth: 0 path: repo + # felix-home, not felix: see the Felix checkout in gate.yml. - uses: actions/checkout@v5 with: - repository: LeavesJ/felix + repository: LeavesJ/felix-home ssh-key: ${{ secrets.FELIX_DEPLOY_KEY }} path: felix