This tweaks the release GH workflow further so that it only triggers when the `configure.ac` file (which owns the version) changes. Plus it properly checkouts the PR branch to avoid wrongly looking at a synthetic merge commit.
This adds an additional condition in order to run sanity check all PRs starting with `Release` (case-insensitive).
This adds a GitHub action in order to run ci-release-build.sh on release PRs (detected via the `kind/release` label).
Timothée Ravier
Luca BRUNO