Merge bot PR

Excluded path: include example for optional path #3072

Sign in to view logs

Triggered via pull request March 18, 2025 10:13

thePanz

opened #3883

patch-1

Status Success

Total duration 53s

Artifacts –

merge-bot-pr.yml

on: pull_request