Skip to content

validate --skip and --exclude paths#134209

Merged
bors merged 1 commit intorust-lang:masterfrom
onur-ozkan:check-skip-paths
Dec 14, 2024
Merged

validate `--skip` and `--exclude` paths#134209
bors merged 1 commit intorust-lang:masterfrom
onur-ozkan:check-skip-paths

Commits

Commits on Dec 13, 2024