Skip to content

CI: Migrate the welcome bot to GitHub Actions#4149

Merged
weiji14 merged 7 commits intoGenericMappingTools:mainfrom
seisman:ci/welcome
Oct 14, 2025
Merged

CI: Migrate the welcome bot to GitHub Actions#4149
weiji14 merged 7 commits intoGenericMappingTools:mainfrom
seisman:ci/welcome

Commits

Commits on Oct 10, 2025

Commits on Oct 12, 2025