riot-ci/RIOT
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity
31,105 Commits 120 Branches 131 Tags
Commit Graph

2 Commits

Author SHA1 Message Date
Jose Alamos
eaf2fecd20 vera++: remove non-zero exit code 2020-02-18 19:53:08 +01:00
Jose Alamos
6057d1fba9 vera++: add check.sh script 2020-02-14 14:17:17 +01:00