PR Automation

adapt documentatiion directories #896

Sign in to view logs

Triggered via pull request November 16, 2025 17:56

hboutemy

closed #11450

Status Success

Total duration 9s

Artifacts –

pr-automation.yml

on: pull_request_target

PR Automation / dump-github-context

PR Automation / milestone

PR Automation / milestone-rm

PR Automation / labels

PR Automation / assignees