From 1de8f7bbc372a66ebf050c99f532fbdc014682fd Mon Sep 17 00:00:00 2001 From: Maurizio Casimirri Date: Wed, 13 Dec 2023 21:23:24 +0100 Subject: [PATCH] Add or update CodeQL workflow