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

C#: Fix quality issues #16871

Merged
merged 1 commit into from
Jul 1, 2024
Merged

C#: Fix quality issues #16871

merged 1 commit into from
Jul 1, 2024

Conversation

tamasvajk
Copy link
Contributor

No description provided.

@github-actions github-actions bot added the C# label Jun 28, 2024
Comment on lines 136 to 143
catch (Exception ex)
{
// If this happened, it was probably because
// - the same file was compiled multiple times, or
// - the file doesn't exist (due to wrong #line directive or because it's an in-memory source generated AST).
// In any case, this is not a fatal error.
logger.LogWarning("Problem archiving " + dest + ": " + ex);
}

Check notice

Code scanning / CodeQL

Generic catch clause Note

Generic catch clause.
Comment on lines 120 to 124
catch (Exception ex) // lgtm[cs/catch-of-all-exceptions]
{
logger.LogError($" Unhandled exception: {ex}");
return ExitCode.Errors;
}

Check notice

Code scanning / CodeQL

Generic catch clause Note

Generic catch clause.
@tamasvajk tamasvajk force-pushed the fix/quality-issues branch from 42db708 to 158537b Compare June 28, 2024 10:49
@tamasvajk tamasvajk marked this pull request as ready for review June 28, 2024 11:38
@tamasvajk tamasvajk requested a review from a team as a code owner June 28, 2024 11:38
@tamasvajk tamasvajk marked this pull request as draft June 28, 2024 11:55
@tamasvajk tamasvajk force-pushed the fix/quality-issues branch from 158537b to 199a968 Compare June 28, 2024 11:58
@tamasvajk tamasvajk marked this pull request as ready for review June 28, 2024 12:26
Copy link
Contributor

@michaelnebel michaelnebel left a comment

Choose a reason for hiding this comment

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

Looks good to me!

@tamasvajk tamasvajk merged commit b4707ab into github:main Jul 1, 2024
16 checks passed
@tamasvajk tamasvajk deleted the fix/quality-issues branch July 1, 2024 20:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants