chore: release v4.7.2 (#4996) #259
github-merge-queue[bot]Annotations
2 warnings and 1 notice
|
dispatch
Input 'app-id' has been deprecated with message: Use 'client-id' instead.
|
|
dispatch
Input 'app-id' has been deprecated with message: Use 'client-id' instead.
|
|
dispatch
"The ubuntu-latest label will migrate to Ubuntu 26 beginning October 19, 2026. For more information, see https://github.com/actions/runner-images/issues/14748"
|