Skip to content

Print PR-Title into tooltip for actions#35579

Open
da-Kai wants to merge 2 commits intogo-gitea:mainfrom
da-Kai:feature/pr-title-tooltip
Open

Print PR-Title into tooltip for actions#35579
da-Kai wants to merge 2 commits intogo-gitea:mainfrom
da-Kai:feature/pr-title-tooltip

Commits

Commits on Oct 3, 2025

Commits on Oct 4, 2025