Skip to content

chore: setup gradle for docs publication#314

Merged
milyin merged 1 commit into
eclipse-zenoh:mainfrom
ZettaScaleLabs:ci/setup-gradle-docs
Aug 11, 2025
Merged

chore: setup gradle for docs publication#314
milyin merged 1 commit into
eclipse-zenoh:mainfrom
ZettaScaleLabs:ci/setup-gradle-docs

Conversation

@diogomatsubara

Copy link
Copy Markdown
Contributor

@github-actions

Copy link
Copy Markdown

PR missing one of the required labels: {'bug', 'dependencies', 'breaking-change', 'documentation', 'internal', 'enhancement', 'new feature'}

@milyin milyin added the internal Changes not included in the changelog label Aug 11, 2025
@milyin
milyin enabled auto-merge (squash) August 11, 2025 11:10
@milyin
milyin merged commit 4e2ca78 into eclipse-zenoh:main Aug 11, 2025
9 of 10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

internal Changes not included in the changelog

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants