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

use a max number of errors by default #1049

Merged

yanns merged 1 commit into main from max_errors_by_default

Sep 11, 2023

Contributor

yanns commented Sep 10, 2023

Use secure configuration by default
Follow-up of #1034


          use a max number of errors by default

c8155a3

Use secure configuration by default
Follow-up of #1034

yanns mentioned this pull request

Limit number of errors returned (when variables are used) #1034

Merged

yanns added this pull request to the merge queue

Merged via the queue into main with commit 91a8c79

9 checks passed

yanns deleted the max_errors_by_default branch

September 11, 2023 08:46

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

Labels

None yet