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
741aaf9a38
pr_check: fix README
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
62c244608d
tools/pr_check: add REMOVEME in keyword filtered
2019-10-22 08:07:40 +02:00
9363a515a5
tools/pr_check: make sure no pkg makefile defines PKG_SOURCE_LOCAL
...
The variable is supposed to be used for local development only.
2019-05-16 11:31:32 +02:00
Martine Lenders
055ec38fff
tools/pr_check: adapt for label categorization
...
In [#10030 ][1] it was decided to rename all labels to reflect their
respective category. The labels "NEEDS SQUASHING" and "Waiting For Other
PR" are used in the `dist/tools/pr_check/pr_check.sh` script however, so
that script needs to be adapted.
[1]: https://github.com/RIOT-OS/RIOT/issues/10030
2018-10-05 19:07:32 +02:00
smlng
1adb5852ec
tools: allow static checks to be run from any directory
2018-06-06 14:03:31 +02:00
Gaëtan Harter
ef13d91bed
tools/check: use RIOTTOOLS variable
...
Follow up to #9067 and part of #8821
2018-05-14 15:47:53 +02:00
dcc1ae393c
dist/tools/pr_check: fix regex pattern to recognize any SHA
2017-11-13 16:43:12 +01:00
b916a58ed4
dist: tools: pr_check: adapt to RIOT CI
2016-03-12 00:54:43 +01:00
Thomas Eichinger
72ee60b9d5
scripts: remove hardcoding of bash hashbang
...
For host systems like FreeBSD, bash binary is found in a different path.
2015-11-25 16:20:56 +01:00
BytesGalore
7df0d9b636
travis: enable travis build on set github label Ready for CI build
2015-05-24 09:19:05 +02:00
Lucas Jenss
b2115d2bdb
Make clear that "labels" refers to the ones set on GitHub
2015-05-18 11:51:58 +02:00
Martine Lenders
0eb2d78dda
doc: use my real name
2015-02-08 18:52:16 +01:00
Martine Lenders
7642f7bb15
pr_check: Fix matching
...
Fixes #2125
2014-12-03 12:29:30 +01:00
Martine Lenders
7713fa87dd
travis: check PRs if they need squashing or depend on other PRs
2014-12-01 14:04:01 +01:00