1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 03:32:49 +01:00
Commit Graph

6 Commits

Author SHA1 Message Date
Alain Péteut
25df307ea1 dist/tools: Use /usr/bin/env to lookup Python.
Fixes some Python scripts which didn't use `/usr/bin/env`.
2023-04-10 14:39:42 +02:00
34cfdac78a ci/can_fast_ci_run.py: add workaround for #18987 2022-11-30 09:37:34 +01:00
Martine Lenders
c460c6b056
various: remove CircleCI mention from other locations 2022-09-30 10:38:48 +02:00
60f9ceabd1 tools: can_fast_ci_run.py: ignore comment-only change for .[ch] 2021-12-16 20:50:52 +01:00
e080487da1 dist/tools: can_fast_ci_run: add murdock functionality 2021-12-13 10:59:28 +01:00
Marian Buschsieweke
d643bd8d2b
dist/tools/ci: add script to check if fast run is possible 2021-12-02 21:05:12 +01:00