[bot] Merge master/7210d426 into rel/dev #1217
yenkins-adminpre-merge.yaml
on: pull_request
Collect changes
/
collect-changes
10s
Matrix: Python tests / unit-tests
Python tests
/
lint-and-format-check
19s
Python tests
/
types-check
1m 51s
status-check
3s
Annotations
1 warning
|
Collect changes / collect-changes
'base' input parameter is ignored when action is triggered by pull request event
|