Skip to content

allow publishing rustdoc-types via tags#2524

Merged
marcoieni merged 1 commit into
mainfrom
allow-publishing-rustdoc-types-via-tags
Jun 19, 2026
Merged

allow publishing rustdoc-types via tags#2524
marcoieni merged 1 commit into
mainfrom
allow-publishing-rustdoc-types-via-tags

Conversation

@marcoieni

Copy link
Copy Markdown
Member

@github-actions

github-actions Bot commented Jun 19, 2026

Copy link
Copy Markdown
Dry-run check results

[WARN  rust_team::sync] sync-team is running in dry mode, no changes will be applied.
[INFO  rust_team::sync] synchronizing crates-io
[INFO  rust_team::sync] synchronizing github
[INFO  rust_team::sync] 💻 Repo Diffs:
    📝 Editing repo 'rust-lang/rustdoc-types':
      Environments:
        🔄 Update: publish
            Adding tags: v*

@marcoieni marcoieni added this pull request to the merge queue Jun 19, 2026
Merged via the queue into main with commit 2b75b2a Jun 19, 2026
4 checks passed
@marcoieni marcoieni deleted the allow-publishing-rustdoc-types-via-tags branch June 19, 2026 08:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants