Skip to content

Commit 3734077

Browse files
thomasahleclaude
andcommitted
[ci] Auto-publish CIRCT WASM artifacts to release on main push
Add a 'Publish CIRCT wasm to release' step that runs `npm run publish:circt` (sync-circt-wasm.sh --publish) after a successful build on main. This keeps the circt-wasm GitHub Release in sync with whatever CIRCT ref is locked in toolchain.lock.sh, so the deploy workflow always serves fresh artifacts. Requires contents:write permission (added) for gh release upload. Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
1 parent 94ccdbe commit 3734077

1 file changed

Lines changed: 9 additions & 0 deletions

File tree

.github/workflows/ci.yml

Lines changed: 9 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,9 @@ on:
66
- main
77
pull_request:
88

9+
permissions:
10+
contents: write # needed for gh release upload (publish:circt step)
11+
912
concurrency:
1013
group: ci-${{ github.workflow }}-${{ github.ref }}
1114
cancel-in-progress: true
@@ -94,6 +97,12 @@ jobs:
9497
--retries 3 \
9598
--log-dir "$LOG_DIR"
9699
100+
- name: Publish CIRCT wasm to release
101+
if: github.ref == 'refs/heads/main'
102+
run: npm run publish:circt
103+
env:
104+
GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}
105+
97106
- name: Upload UVM smoke logs
98107
if: always()
99108
uses: actions/upload-artifact@v4

0 commit comments

Comments
 (0)