Skip to content

chore: setup gradle for docs publication#314

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

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

Conversation

@diogomatsubara
Copy link
Contributor

@github-actions
Copy link

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