Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

dist/tools/insufficient_memory: fix collection of app folders #19598

Merged
merged 1 commit into from
May 16, 2023

Conversation

maribu
Copy link
Member

@maribu maribu commented May 16, 2023

Contribution description

There is actually a make target to list the applications in the repo. Let's just use that.

Testing procedure

The tool should now iterate over all apps again.

Issues/PRs references

Found during #19558

@maribu maribu requested review from benpicco and aabadie May 16, 2023 12:41
@github-actions github-actions bot added the Area: tools Area: Supplementary tools label May 16, 2023
There is actually a make target to list the applications in the repo.
Let's just use that.
@maribu maribu force-pushed the dist/tools/insufficient_memory branch from fc3b273 to 4f4616b Compare May 16, 2023 13:00
@benpicco benpicco added CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs labels May 16, 2023
@riot-ci
Copy link

riot-ci commented May 16, 2023

Murdock results

✔️ PASSED

4f4616b dist/tools/insufficient_memory: fix collection of app folders

Success Failures Total Runtime
1 0 1 01m:00s

Artifacts

@maribu
Copy link
Member Author

maribu commented May 16, 2023

bors merge

@bors
Copy link
Contributor

bors bot commented May 16, 2023

Build succeeded!

The publicly hosted instance of bors-ng is deprecated and will go away soon.

If you want to self-host your own instance, instructions are here.
For more help, visit the forum.

If you want to switch to GitHub's built-in merge queue, visit their help page.

@bors bors bot merged commit 070025f into RIOT-OS:master May 16, 2023
@maribu maribu deleted the dist/tools/insufficient_memory branch May 16, 2023 16:04
@maribu
Copy link
Member Author

maribu commented May 16, 2023

Thx :)

@benpicco benpicco added this to the Release 2023.07 milestone Aug 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Area: tools Area: Supplementary tools CI: ready for build If set, CI server will compile all applications for all available boards for the labeled PR CI: skip compile test If set, CI server will run only non-compile jobs, but no compile jobs or their dependent jobs
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants