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

Add --log-group option to opt-out/force-enable log grouping #214

Merged

taiki-e merged 1 commit into main from log-group

Sep 9, 2023

Owner

taiki-e commented Sep 9, 2023 •

edited

Loading

Follow-up to #206

        --log-group <KIND>
            Log grouping: none, github-actions.

            If this option is not used, the environment will be automatically detected.

taiki-e added the A-diagnostics label


          Add --log-group option to opt-out/force-enable log grouping

d95d8d5

taiki-e force-pushed the log-group branch from 25982c7 to d95d8d5 Compare

September 9, 2023 04:55

taiki-e mentioned this pull request

Group logs on GitHub Actions #206

Merged

taiki-e merged commit f57aae1 into main

24 checks passed

taiki-e deleted the log-group branch

September 9, 2023 05:13

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

Labels