Commit Graph

17 Commits

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