Skip to content

Feature/parse and prove request status#97

Merged
XanderVertegaal merged 2 commits into
developfrom
feature/parse-and-prove-request-status
Apr 30, 2026
Merged

Feature/parse and prove request status#97
XanderVertegaal merged 2 commits into
developfrom
feature/parse-and-prove-request-status

Conversation

@XanderVertegaal
Copy link
Copy Markdown
Contributor

@XanderVertegaal XanderVertegaal commented Apr 21, 2026 •
edited
Loading

Two small quality of life changes:

  • The Parse and Prove button now shows a loading indicator while the request is in flight.
  • Toasts are shown when a parse fails (e.g. if the LangPro container is down).

@XanderVertegaal XanderVertegaal added enhancement New feature or request labels Apr 24, 2026
@XanderVertegaal XanderVertegaal marked this pull request as ready for review April 24, 2026 14:09
jgonggrijp
jgonggrijp approved these changes Apr 29, 2026
View reviewed changes
Copy link
Copy Markdown
Contributor

@jgonggrijp jgonggrijp left a comment

Choose a reason for hiding this comment

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

Nice, very clean. 👍

@XanderVertegaal XanderVertegaal merged commit fa89b8a into develop Apr 30, 2026
1 check passed
@XanderVertegaal XanderVertegaal deleted the feature/parse-and-prove-request-status branch April 30, 2026 07:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@jgonggrijp jgonggrijp jgonggrijp approved these changes

Assignees

No one assigned

Labels

enhancement New feature or request

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@XanderVertegaal @jgonggrijp