2 Commits

Author	SHA1	Message	Date
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