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.

Sign up for GitHub

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

Jump to bottom

Ignore all non-TeXiFy indexing exceptions #3309

Merged

PHPirates merged 1 commit into logging from index-exceptions

Nov 24, 2023

Collaborator

PHPirates commented Nov 8, 2023

Summary of additions and changes

Almost all exceptions thrown on this line are not from TeXiFy, I keep reporting them to youtrack but let's just ignore them.


          Ignore all non-TeXiFy indexing exceptions like #3306

6bce73f

PHPirates added this to the Next milestone

PHPirates requested review from HannahSchellekens, stenwessel and slideclimb as code owners

November 8, 2023 20:05

PHPirates merged commit 99b8450 into logging

7 checks passed

PHPirates deleted the index-exceptions branch

November 24, 2023 09:27

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet