Skip to content

feat(IDX): add crate name to job #8810

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
cgundy merged 8 commits into from
Feb 12, 2026
Merged

feat(IDX): add crate name to job #8810

Changes from all commits
Commits
Show all changes
8 commits
Select commit Hold shift + click to select a range
0f4b422
feat(IDX): add crate name to job
cgundy Feb 12, 2026
3192f66
update message
cgundy Feb 12, 2026
4efb3f5
typo
cgundy Feb 12, 2026
39b5b35
add version
cgundy Feb 12, 2026
2083cf9
add run name
cgundy Feb 12, 2026
6071e6b
rename
cgundy Feb 12, 2026
5239a1e
add version too
cgundy Feb 12, 2026
fb0f1ae
keep workflow name
cgundy Feb 12, 2026
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
7 changes: 5 additions & 2 deletions .github/workflows/publish-crates.yml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -10,18 +10,21 @@ on:
description: 'The version of the crate to publish'
required: true
dry-run:
description: 'If true, run publish in dry-run mode'
description: "If true, run publish in dry-run mode (don't actually publish the crate)"
required: false
default: 'false'
type: boolean

run-name: >-
${{ format('Publish Crate {0} {1}', github.event.inputs.crate-name, github.event.inputs.crate-version) }}

permissions:
contents: read
id-token: write

jobs:
publish-crates:
name: Publish Crates
name: Publish Crate ${{ github.event.inputs.crate-name }} ${{ github.event.inputs.crate-version }}
runs-on: ubuntu-latest
environment: publish-crates
steps:
Expand Down
Loading