Merge bot PR

Fix "Option 'indent' must either be all spaces or a single tab" #3259

Sign in to view logs

Triggered via pull request June 23, 2025 08:01

staabm

opened #4070

staabm:bug13180

Status Success

Total duration 18s

Artifacts –

merge-bot-pr.yml

on: pull_request