Skip to content

More descriptive error message in case cargo is killed#199

Merged
Shnatsel merged 2 commits intomasterfrom
nicer-error-message
Apr 28, 2025
Merged

More descriptive error message in case cargo is killed#199
Shnatsel merged 2 commits intomasterfrom
nicer-error-message

Conversation

@Shnatsel
Copy link
Copy Markdown
Member

Motivated by #197

@Shnatsel Shnatsel merged commit a671061 into master Apr 28, 2025
9 checks passed
@Shnatsel Shnatsel deleted the nicer-error-message branch April 28, 2025 17:32
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.

1 participant