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

Include errors in the setup phase in the summary #45

Merged
merged 1 commit into from
Feb 16, 2024

Conversation

href
Copy link
Contributor

@href href commented Feb 16, 2024

Also try real hard to get GitHub to be quiet about its own annotations.

@href href requested a review from ctx February 16, 2024 13:06
@href href self-assigned this Feb 16, 2024
@href href force-pushed the denis/summary-with-setup-errors branch 2 times, most recently from 46639e4 to de73743 Compare February 16, 2024 14:05
Also try real hard to get GitHub to be quiet about its own
annotations.
@href href force-pushed the denis/summary-with-setup-errors branch from de73743 to b3cbb88 Compare February 16, 2024 14:20
Copy link

@ctx ctx left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@href href merged commit 3b9d561 into main Feb 16, 2024
5 checks passed
This pull request was closed.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants