cppcheck/.github/workflows
amai2012 df305721c8
Update Z3 version
Update to Z3 4.8.10
2021-01-31 21:46:14 +01:00
..
CI-unixish.yml CI-unixish.yml: perform self check with --debug-warnings (#2973) 2021-01-21 18:29:08 +01:00
CI-windows.yml Update Z3 version 2021-01-31 21:46:14 +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 Coverage; cppunit header not found when running coverage script 2021-01-20 21:10:24 +01:00
irc.yml Update workflows to Ubuntu 20.04 (#2948) 2020-12-15 10:59:09 +01:00
release-windows.yml use mirror for install-qt-action (#3070) 2021-01-20 19:03:38 +01:00
scriptcheck.yml fixed/excluded some shellcheck warnings and actually fail the build when something is found (#3068) 2021-01-20 18:43:49 +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