amai2012
|
ae5cbc8048
|
Rename workflow
|
2020-04-16 21:37:32 +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 |
|
amai2012
|
e35d678c28
|
Rename script file
|
2020-04-15 12:13:02 +02:00 |
|
amai2012
|
10269a5286
|
Use apt-get instead of apt
|
2020-04-07 20:30:10 +02:00 |
|
amai2012
|
5c7af1f922
|
Use apt-get instead of apt
|
2020-04-07 20:23:54 +02:00 |
|
amai2012
|
c123b9fcdd
|
Rename file
|
2020-03-14 12:42:04 +01:00 |
|
amai2012
|
d5823472e3
|
Add code coverage to Github Actions (#2566)
Create and store coverage data including upload to codecov.io
|
2020-03-13 22:42:15 +01:00 |
|
amai2012
|
88c69418ee
|
Try to fix software installation on ubuntu
|
2020-02-24 12:17:34 +01:00 |
|
amai2012
|
2708a54c49
|
More GitHub actions (#2546)
* add macOS env
* add validation targets
* use Z3
|
2020-02-20 22:00:14 +01:00 |
|
amai2012
|
c472322aad
|
Add GitHub actions (#2535)
* Initial version of GitHub actions script: compile cppcheck and "make check" on ubuntu
|
2020-02-13 09:16:53 +01:00 |