Commit Graph

5 Commits

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