Daniel Marjamäki
|
8f386e15fd
|
Remove bug hunting. This feature will be provided in Cppcheck premium.
|
2022-04-11 07:31:33 +02:00 |
Oliver Stöneberg
|
e7f97a9621
|
updated Z3 to 4.8.15 (#3928)
|
2022-03-23 12:47:01 +01:00 |
|
Oliver Stöneberg
|
c2b5cdcca5
|
CI-windows.yml: added windows-2022, removed QT 5.9.9 and use msbuild instead of CMake for now (#3730)
|
2022-02-04 19:37:53 +01:00 |
|
Oliver Stöneberg
|
5ef3a41dc9
|
cache Qt installation in Windows CI jobs (#3769)
* CI-windows.yml: cache Qt installation
* release-windows.yml: store Qt version in env
* release-windows.yml: cache Qt installation
|
2022-01-28 19:44:39 +01:00 |
|
Oliver Stöneberg
|
8502584dc1
|
avoid duplicated downloads in CI by caching files / aligned PCRE and Z3 versions in dev and release builds (#3612)
|
2022-01-04 11:16:28 +01:00 |
|
Daniel Marjamäki
|
31ddef5f91
|
skip 'install pcre' step in windows github action, it failed because curl timed out
|
2021-11-06 08:43:21 +01:00 |
|
Oliver Stöneberg
|
f309925a7b
|
update latest Python in CI to 3.10 / use all available threads for pylint (#3493)
|
2021-10-11 19:14:46 +02:00 |
|
Oliver Stöneberg
|
dd0f617d39
|
build GUI with oldest and newest available Qt5 version (#3225)
|
2021-10-09 16:09:20 +02:00 |
|
Daniel Marjamäki
|
f0f4ee7d91
|
CI-windows.yml: write comment with ::
|
2021-10-03 00:16:44 +02:00 |
|
Daniel Marjamäki
|
fc4e9ddbfc
|
Disable test-clang-import.py in CI-windows
|
2021-10-02 23:54:51 +02:00 |
|
Daniel Marjamäki
|
74ab8f1a48
|
misra; implemented rule 20.8
|
2021-07-22 08:46:28 +02:00 |
|
Daniel Marjamäki
|
6f7722873e
|
CI; specify unix64 platform when running misra-test
|
2021-07-20 12:23:16 +02:00 |
|
Daniel Marjamäki
|
f44a82856f
|
misra; implement rule 8.7
|
2021-07-17 22:36:03 +02:00 |
|
Daniel Marjamäki
|
9d5c65fcce
|
CI; Improved testing of misra addon
|
2021-07-11 17:24:14 +02:00 |
Paul Fultz II
|
8dc1fa7a59
|
Add colors to CLI reporting (#3304)
|
2021-07-08 21:21:35 +02:00 |
|
Daniel Marjamäki
|
9172f2ab3b
|
addons; add CTU infrastructure
|
2021-07-07 10:58:13 +02:00 |
|
Daniel Marjamäki
|
d2d2124238
|
Revert "Clang import; This experimental feature didn't "take off" much. After a lot of work we are still far fram the goal. I remove it now but don't rule out completely that it could ever be added again."
This reverts commit 207361b174.
|
2021-04-30 16:47:02 +02:00 |
|
Daniel Marjamäki
|
207361b174
|
Clang import; This experimental feature didn't "take off" much. After a lot of work we are still far fram the goal. I remove it now but don't rule out completely that it could ever be added again.
|
2021-04-21 18:59:48 +02:00 |
|
Oliver Stöneberg
|
d11f0f3f18
|
use all available processes for nmake builds (#3192)
|
2021-04-03 21:28:17 +02:00 |
|
Oliver Stöneberg
|
052de79b6d
|
some test/CI related refactoring and cleanup (#3163)
|
2021-04-03 21:22:39 +02:00 |
|
Oliver Stöneberg
|
c45b941717
|
CI-windows.yml: fixed building of GUI broken by incorrect matrix checks (#3193)
|
2021-04-03 21:10:59 +02:00 |
amai2012
|
2a3e641645
|
Remove artifacts
|
2021-03-03 09:53:18 +01:00 |
|
Oliver Stöneberg
|
77474d0ccd
|
added 32-bit Windows build to GitHub action (#3144)
|
2021-02-24 22:41:25 +01:00 |
|
amai2012
|
c67ff581b2
|
Remove mirror option from install-qt-action
See 49465b8677
|
2021-02-10 17:31:06 +01:00 |
|
amai2012
|
df305721c8
|
Update Z3 version
Update to Z3 4.8.10
|
2021-01-31 21:46:14 +01:00 |
|
Oliver Stöneberg
|
85154cb70e
|
use mirror for install-qt-action (#3070)
|
2021-01-20 19:03:38 +01:00 |
|
amai2012
|
ffde6278de
|
CI-Windows: Use Z3 4.8.9 (#2946)
|
2020-12-13 19:39:52 +01:00 |
|
amai2012
|
a6a5cbe6c9
|
Update microsoft/setup-msbuild (#2902)
microsoft/setup-msbuild@v1.0.2 should cure the issue mentioned on https://github.blog/changelog/2020-10-01-github-actions-deprecating-set-env-and-add-path-commands/
|
2020-11-15 19:47:07 +01:00 |
|
amai2012
|
bab01a84ab
|
Githubactions update (#2729)
* Use upload-artifact@v2 (not the preview anymore)
* Upload artifacts for CI-unixish
* Use -j$(nproc) for make
|
2020-07-30 10:36:06 +02:00 |
|
amai2012
|
c702046cce
|
CI: Build GUI with QtCharts (#2627)
|
2020-05-03 10:09:52 +02:00 |
|
amai2012
|
ef30e53332
|
Github action: Build GUI release (#2617)
|
2020-04-22 12:05:32 +02:00 |
|
amai2012
|
67a70ee228
|
CI builds now support RULES (#2608)
For Windows the PCRE library has to be built.
On ubuntu and macos the pre-installed library is being used.
|
2020-04-19 10:46:51 +02:00 |
|
amai2012
|
cd13798b6c
|
GitHub action: Build Windows GUI (#2606)
Add Windows x64 GUI build. Provide artifacts for GUI and CLI binaries including 3rd party components.
|
2020-04-17 11:57:53 +02:00 |
|
amai2012
|
6ccce18ad8
|
GitHub action: add Windows CLI build (#2604)
Build and run tests on Windows x64
|
2020-04-16 21:19:57 +02:00 |