Mathias Schmid ab7d728831 Add missing support for "type-checks" and "smart-pointer" configuration. (#3039)		2021-01-18 19:10:53 +01:00
..
CI-unixish.yml	Add missing support for "type-checks" and "smart-pointer" configuration. (#3039)	2021-01-18 19:10:53 +01:00
CI-windows.yml	CI-Windows: Use Z3 4.8.9 (#2946)	2020-12-13 19:39:52 +01:00
asan.yml	Update workflows to Ubuntu 20.04 (#2948)	2020-12-15 10:59:09 +01:00
buildman.yml	Update workflows to Ubuntu 20.04 (#2948)	2020-12-15 10:59:09 +01:00
codeql-analysis.yml	Update workflows to Ubuntu 20.04 (#2948)	2020-12-15 10:59:09 +01:00
coverage.yml	Update workflows to Ubuntu 20.04 (#2948)	2020-12-15 10:59:09 +01:00
irc.yml	Update workflows to Ubuntu 20.04 (#2948)	2020-12-15 10:59:09 +01:00
release-windows.yml	Update Qt version for release-windows to 5.15.2 (#2917)	2020-11-22 08:46:05 +01:00
scriptcheck.yml	Update workflows to Ubuntu 20.04 (#2948)	2020-12-15 10:59:09 +01:00
ubsan.yml	Update workflows to Ubuntu 20.04 (#2948)	2020-12-15 10:59:09 +01:00
valgrind.yml	Add Valgrind CI action (#2921)	2020-12-07 08:41:25 +01:00