Skip to content

Stop watching gitignored directories in the repo file watcher #8835

Stop watching gitignored directories in the repo file watcher

Stop watching gitignored directories in the repo file watcher #8835

Triggered via pull request June 4, 2026 04:06
Status Success
Total duration 11s
Artifacts

sync-pr-checks.yml

on: pull_request
Verify PR base is the default branch
5s
Verify PR base is the default branch
Fit to window
Zoom out
Zoom in