Skip to content

Use elaborate for better error reporting#697

Merged
smoelius merged 5 commits into
masterfrom
elaborate
Nov 16, 2025
Merged

Use elaborate for better error reporting#697
smoelius merged 5 commits into
masterfrom
elaborate

Conversation

@smoelius
Copy link
Copy Markdown
Collaborator

No description provided.

@smoelius smoelius force-pushed the elaborate branch 4 times, most recently from 57bc69a to f559094 Compare November 16, 2025 15:16
@smoelius smoelius changed the title WIP: Use elaborate for better error reporting Use elaborate for better error reporting Nov 16, 2025
@smoelius smoelius added this pull request to the merge queue Nov 16, 2025
Merged via the queue into master with commit 8e42237 Nov 16, 2025
17 checks passed
@smoelius smoelius deleted the elaborate branch November 16, 2025 16:13
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