Skip to content
Merge bot PR

Respect dist priority for dot or not dot files #2571

Sign in to view logs

Respect dist priority for dot or not dot files

Respect dist priority for dot or not dot files #2571

Triggered via pull request August 31, 2024 17:51
@VincentLangletVincentLanglet
opened #3379
VincentLanglet:dotConfig
Status Success
Total duration 32s
Artifacts –

merge-bot-pr.yml

on: pull_request
Automerge PRs
21s
Automerge PRs
Fit to window
Zoom out
Zoom in