add an option to merge default configs #419

Sign in to view logs

Re-run triggered September 13, 2024 13:49

gjtorikian

#315

monkeyWzr:merge_default_options

Status Success

Total duration 1m 6s

Artifacts –

lint.yml

on: pull_request