walkero
/
cppcheck
1
0
Fork 0
Code Issues Pull Requests Projects Releases 1 Wiki Activity
23,883 Commits 13 Branches 88 Tags 170 MiB
Commit Graph

53 Commits

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