From: Johannes Schindelin <johannes.schindelin@gmx.de>
Date: Wed, 30 Oct 2024 14:03:51 +0000 (+0100)
Subject: Merge branch 'backport-github-actions-fixes'
X-Git-Url: https://www.git.kevux.org/?a=commitdiff_plain;h=062d9fb033ec994305343bb28dbad3c2f799de47;p=rit

Merge branch 'backport-github-actions-fixes'

The planet keeps revolving, and CI definitions (even old ones) need to
be kept up to date, even if they worked unchanged before (because now
they don't).

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>
---

062d9fb033ec994305343bb28dbad3c2f799de47