1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
RIOT/dist/tools/ci
Sebastian Meiling 2aaf811d84
Merge pull request #9778 from jia200x/pr/vera++
style-check/vera++: add style validator and scripts
2020-02-18 10:04:38 +01:00
..
build_and_test.sh ci: invoke vera++ from CI 2020-02-14 14:17:17 +01:00
changed_files.sh make: Ignore checking all vendor files 2018-05-29 15:21:44 -07:00
print_toolchain_versions.sh tools/toolchain_version: remove extra underlying - 2020-02-13 10:54:42 +01:00