5 Commits

Author SHA1 Message Date
Iustin Pop
72d53ae798 Upgrade the CodeQL action to v2
The v1 was deprecated 2 years ago…
2025-01-05 17:02:06 +01:00
Iustin Pop
b11887d9b4 No-op reformat of the workflow files
Not sure why, but my editor wants this formatting. I won't fight it…
2025-01-05 16:59:18 +01:00
Iustin Pop
459ab4775b Allow manual workflow runs
Turns out, both CI and CodeQL were disabled due to lack of activity,
so all the recent pushes were not tested. Allow manual runs for such
cases i the future.
2025-01-05 16:56:31 +01:00
Iustin Pop
bd3b8539d1 Fixup workflows after master->main rename 2023-04-18 20:43:05 +02:00
Iustin Pop
7366f37f69 Test enable codeql analysis 2020-08-31 20:54:00 +02:00