1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-01-18 08:52:45 +01:00
Commit Graph

1 Commits

Author SHA1 Message Date
Marian Buschsieweke
d643bd8d2b
dist/tools/ci: add script to check if fast run is possible 2021-12-02 21:05:12 +01:00