Commit Graph
6 Commits
Author SHA1 Message Date
Frank Denis 72932a768f Update CodeQL script 2023-11-01 12:20:31 +01:00
Frank Denis 15c4730042 Use current versions of GitHub actions 2022-11-23 20:03:58 +01:00
Frank Denis 06db7fad81 Indent GitHub Actions code 2021-11-10 15:56:51 +01:00
Frank Denis cf2766d685 Format 2021-05-26 16:11:25 +02:00
Frank Denis c4a6c6b8bf CodeQL: remove git checkout HEAD^2 2020-12-10 23:16:31 +01:00
Frank Denis 15c6462e60 Add CodeQL scan 2020-06-11 10:17:50 +02:00