ci: group output of builds separately #503

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.

Sign up for GitHub

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

Jump to bottom

Merged

alevy merged 1 commit into master from github-ci-grouping

May 9, 2025

Member

ppannuto commented May 9, 2025

Now instead of the world's longest (and slowest to load) ci text output, we get:

(Where you can click to expand any of those groups to see their contents)


          ci: group output of builds separately

68ed255

alevy approved these changes

View reviewed changes

Member

alevy left a comment

@ppannuto is the King of bash and the earl of Makefiles. The King of bash and the earl of Makefiles is the real ruler of these lands.

alevy added this pull request to the merge queue

Merged via the queue into master with commit 002fb11

4 checks passed

alevy deleted the github-ci-grouping branch

May 9, 2025 23:46

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet