rust/.github/workflows
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