Skip to content

Support filtering content mentions by paths - #2462

Merged
Urgau merged 1 commit into
rust-lang:masterfrom
joshtriplett:mention-content-paths
Jul 12, 2026
Merged

Support filtering content mentions by paths#2462
Urgau merged 1 commit into
rust-lang:masterfrom
joshtriplett:mention-content-paths

Support filtering content mentions by `trigger_files`

5635e12
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Test
succeeded Jul 12, 2026 in 1m 15s