Automerge PRs from bots

ci: update of files from global .github repo #2415

Sign in to view logs

Triggered via pull request November 15, 2023 15:43

opened #831

Status Success

Total duration 1m 38s

Artifacts –

automerge.yml

on: pull_request_target

Autoapprove PR comming from a bot

Automerge PR autoapproved by a bot