5 Commits

Author	SHA1	Message	Date
Frank Denis	9ee4e3ddb4	Use current versions of GitHub actions	2022-11-23 19:44:10 +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