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