Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
CI: Update not only riot-* but also its dependencies
In cases like the current PR this is essential -- otherwise, if either of them has increased its dependencies, the override will be ignored fully, and the older release is used instead.
- Loading branch information