Commit Graph
5 Commits
Author SHA1 Message Date
Frank Denis 5ca9ce8fe4 Use current versions of GitHub actions 2022-11-23 21:48:09 +01:00
Frank Denis 5ef23a4b35 Indent GitHub Actions code 2021-11-10 15:59:50 +01:00
Frank Denis 28931a417d Format 2021-05-26 16:12:04 +02:00
Frank Denis fad8d55cf6 CodeQL: remove git checkout HEAD^2 2020-12-10 23:20:16 +01:00
Frank Denis 7c4cedaf11 Add CodeQL scan 2020-06-11 10:23:12 +02:00