Skip to content

Commit 19a1cc9

Browse files
thomasahleclaude
andcommitted
ci: set GH_TOKEN at job level so credential helper works across all steps
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
1 parent b7b08d0 commit 19a1cc9

1 file changed

Lines changed: 1 addition & 2 deletions

File tree

.github/workflows/ci.yml

Lines changed: 1 addition & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -19,6 +19,7 @@ jobs:
1919
CIRCT_WASM_CONFIGURE_TIMEOUT_MIN: "45"
2020
CIRCT_WASM_BUILD_TIMEOUT_MIN: "150"
2121
CIRCT_WASM_CLEAN_BUILD: "1"
22+
GH_TOKEN: ${{ secrets.CIRCT_TOKEN }}
2223
steps:
2324
- uses: actions/checkout@v4
2425

@@ -65,8 +66,6 @@ jobs:
6566

6667
- name: Configure git credentials for private CIRCT fork
6768
run: gh auth setup-git
68-
env:
69-
GH_TOKEN: ${{ secrets.CIRCT_TOKEN }}
7069

7170
- name: Setup pinned CIRCT checkout
7271
run: scripts/setup-circt.sh

0 commit comments

Comments
 (0)