1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2024-12-29 04:50:03 +01:00
Commit Graph

4 Commits

Author SHA1 Message Date
Martine Lenders
d4628dc07f
dist/tools/pr_check: annotate errors in Github Action 2021-01-13 15:18:06 +01:00
Martine Lenders
375df5740a
pr_check: remove label check 2021-01-13 12:02:18 +01:00
Martine Lenders
fe74043e9a
dist/tools: move check for PKG_SOURCE_LOCAL to buildsystem_sanity_check 2021-01-08 15:04:28 +01:00
Martine Lenders
e69617a493
dist/tools/pr_check: rename check script to common name 2021-01-08 14:06:17 +01:00