Commit Graph

110 Commits

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