5 Commits

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