Skip to content

Auto-Merge: plot/area-basic #390

Auto-Merge: plot/area-basic

Auto-Merge: plot/area-basic #390

Triggered via pull request December 7, 2025 21:12
Status Success
Total duration 9s
Artifacts

bot-auto-merge.yml

on: pull_request
auto-merge
3s
auto-merge
post-merge-summary
4s
post-merge-summary
push-post-merge
0s
push-post-merge
Fit to window
Zoom out
Zoom in

Annotations

2 notices
auto-merge
Skipping: Action is 'closed', not 'labeled'
post-merge-summary
Skipping: Branch 'plot/area-basic' is not auto/*