4 Commits

Author	SHA1	Message	Date
Daniel Mach	a8f3c5b3c4	GHA: Migrate to actions/checkout@v4	2025-07-15 13:38:46 +02:00
Jan Zerebecki	abcc830fc9	Allow manual triggering of all Github CI jobs	2025-02-18 18:22:47 +01:00
Daniel Mach	822725effc	GHA: Cancel the currently running jobs on force-pushing a pull-request	2023-01-19 10:54:18 +01:00
LGTM Migrator	26373fbe37	Add CodeQL workflow for GitHub code scanning	2022-11-09 08:23:14 +00:00