From c0bb3fb9c3c4ce1a8f65b8450ada236b8112f5ea Mon Sep 17 00:00:00 2001 From: Christoph Guttandin Date: Thu, 16 Nov 2023 19:51:39 +0100 Subject: [PATCH] build(config): update GitHub workflows