[bot] Merge master/01138e12 into rel/dev #1121
yenkins-adminpre-merge.yaml
on: pull_request
Collect changes
/
collect-changes
11s
Matrix: Python tests / unit-tests
Python tests
/
lint-and-format-check
12s
Python tests
/
types-check
1m 48s
status-check
4s
Annotations
1 warning
|
Collect changes / collect-changes
'base' input parameter is ignored when action is triggered by pull request event
|