3 Commits

Author	SHA1	Message	Date
amai2012	2eb326de83	Update workflows to Ubuntu 20.04 (#2948)	2020-12-15 10:59:09 +01:00
amai2012	38a24703c9	Adjust Codeql2 build (#2887) ... Update codeql-analysis.yml Use manual build avoid matchcompiler but also use Z3 and PCRE	2020-11-06 19:44:06 +01:00
amai2012	308b150351	Add github action for Codeql analysis (#2857) ... Create codeql-analysis.yml	2020-11-05 19:41:53 +01:00