From 7f21c309db33cf371f18a145f347d7de3196f6bc Mon Sep 17 00:00:00 2001
From: Marco Bambini <marco@creolabs.com>
Date: Fri, 13 Nov 2026 13:28:50 +0100
Subject: [PATCH] ci: empty commit to check the pull request trigger

No change: this exists only to see whether a pull request now starts one
run of the workflow, from the pull_request event, and not two. To be closed
and deleted.