New Release 2024-05-15-rc1 #400
pr-auto-milestone.yml
on: pull_request
pr-edit
/
Add PR to Milestone
4s
pr-edit
/
Check open PRs
2s
pr-edit
/
Set PR label
7s
pr-edit
/
Set PR title
4s
Annotations
1 warning and 2 notices
pr-edit / Set PR title
Ignore non merged pull request
|
pr-edit / Check open PRs
api call https://api.github.com/repos/geoadmin/service-search-sphinx/pulls?state=open&base=develop-2024-05-15
|
pr-edit / Check open PRs
No open PRs on branch develop-2024-05-15
|