Samuel Tardieu 1bdee5b6b3 CI: rerun the changelog check on PR synchronization ...

Rerunning the PR checks when a PR is synchronized (new commits added, or
force-pushed) seems to remove the changelog checks from the UI while
keeping the PR mergeable from the maintainer's interface.

This PR reruns the cheap changelog check when a PR is synchronized.

2025-01-10 18:17:55 +01:00

..

clippy_changelog.yml

CI: rerun the changelog check on PR synchronization

2025-01-10 18:17:55 +01:00

clippy_dev.yml

Make CI a little bit safer

2025-01-03 00:44:35 +01:00

clippy_mq.yml

CI: check the presence of the changelog line in every pull request

2025-01-10 17:23:10 +01:00

clippy_pr.yml

CI: be compatible with both Rustup pre-1.28.0 and 1.28.0

2025-01-04 23:12:32 +01:00

deploy.yml

Make CI a little bit safer

2025-01-03 00:44:35 +01:00

lintcheck.yml

Make CI a little bit safer

2025-01-03 00:44:35 +01:00

remark.yml

Make CI a little bit safer

2025-01-03 00:44:35 +01:00