misc

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

Sign in to view logs

Triggered via pull request November 11, 2024 21:12

aeddi

synchronize #3037

dev/aeddi/github-bot

Status Success

Total duration 54s

Artifacts –

misc.yml

on: pull_request

Matrix: Run Main