Commit Graph
4 Commits
Author SHA1 Message Date
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