CI: rerun the changelog check on PR synchronization#13980

flip1995 merged 1 commit intorust-lang:masterrust-lang/rust-clippy:masterfrom

samueltardieu:push-qqyrvnxptuplsamueltardieu/rust-clippy:push-qqyrvnxptuplCopy head branch name to clipboard