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

Improve error message by following the Notation CLI error message handling guidance #934

Closed
FeynmanZhou opened this issue Apr 26, 2024 · 3 comments
Labels
error message Issues related to error message improvement Stale UX User experience changes

Comments

@FeynmanZhou
Copy link
Member

FeynmanZhou commented Apr 26, 2024

What is not working as expected?

N/A

What did you expect to happen?

We created a guideline that defines the guiding principles for Notation CLI error message improvements in #834 . This issue lists suggested changes that have been documented in this hackmd doc by following the Notation CLI error message handling guidance.

How can we reproduce it?

N/A

Describe your environment

N/A

What is the version of your Notation CLI or Notation Library?

v1.1.0

@FeynmanZhou FeynmanZhou added the UX User experience changes label Apr 26, 2024
@FeynmanZhou FeynmanZhou changed the title Improve error message based on the Notation CLI error message handling guidance Improve error message by following the Notation CLI error message handling guidance Apr 26, 2024
priteshbandi pushed a commit that referenced this issue May 28, 2024
This error message improvement is based on the Notation CLI error message improvement guideline that we defined in #834

Resolve part of #934 
Signed-off-by: Junjie Gao <[email protected]>
Copy link

This issue is stale because it has been opened for 60 days with no activity. Remove stale label or comment. Otherwise, it will be closed in 30 days.

@github-actions github-actions bot added the Stale label Jun 25, 2024
@yizha1 yizha1 added error message Issues related to error message improvement and removed Stale labels Jul 16, 2024
Copy link

This issue is stale because it has been opened for 60 days with no activity. Remove stale label or comment. Otherwise, it will be closed in 30 days.

@github-actions github-actions bot added the Stale label Sep 15, 2024
Copy link

Issue closed due to no activity in the past 30 days.

@github-actions github-actions bot closed this as not planned Won't fix, can't repro, duplicate, stale Oct 16, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
error message Issues related to error message improvement Stale UX User experience changes
Projects
Status: Done
Development

No branches or pull requests

2 participants