Files
codeql/.github
Taus Brock-Nannestad 439f9f1d90 Actions: More cleanup
Removes the checkout action, as this is no longer needed, and folds
the `grep` into `jq`.
2021-02-22 11:05:54 +01:00
..
2021-02-22 11:05:54 +01:00