misc

ci: add a github bot to support advanced PR review workflows #9776

Sign in to view logs

Triggered via pull request November 27, 2024 14:46

aeddi

synchronize #3037

dev/aeddi/github-bot

Status Success

Total duration 41s

Artifacts –

misc.yml

on: pull_request

Matrix: Run Main