[ESI] Also publish releases on workflow_dispatch (#8780)

Minor bugfixes _during development_ doesn't always warrant a new ESI tag. Allow the `esiRuntimePublish` pipeline to publish `dev` packages upon manual CI runs (`workflow_dispatch`).
This commit is contained in:
Morten Borup Petersen 2025-07-28 19:39:05 +02:00 committed by GitHub
parent 728d2ca159
commit 9fe4c337fb
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 1 additions and 1 deletions

View File

@ -127,7 +127,7 @@ jobs:
- name: Upload wheels to pypi
uses: pypa/gh-action-pypi-publish@release/v1
if: github.repository == 'llvm/circt' && (github.ref_type == 'tag' || github.event_name == 'schedule')
if: github.repository == 'llvm/circt' && (github.ref_type == 'tag' || github.event_name == 'schedule' || github.event_name == 'workflow_dispatch')
with:
packages-dir: wheelhouse/
verify-metadata: false