Automerge PRs from bots

style: added uniform padding around the `on this page` header #12662

Sign in to view logs

Triggered via pull request September 23, 2024 06:21

ManasMalla

opened #3249

Status Skipped

Total duration 5s

Artifacts –

automerge.yml

on: pull_request_target

Autoapprove PR comming from a bot

Automerge PR autoapproved by a bot