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 the new warn log level in various places #4665

Merged

lihaoyi merged 2 commits into com-lihaoyi:main from lefou:use-warn-level

Mar 8, 2025

Member

lefou commented Mar 6, 2025 •

edited

Loading

See also #3603


          Use the new warn log level in various places

2bbfa16

lefou force-pushed the use-warn-level branch from 5194735 to 2bbfa16 Compare

March 7, 2025 09:45

lefou marked this pull request as ready for review

March 7, 2025 09:48

lihaoyi merged commit be6c27e into com-lihaoyi:main

42 checks passed

lefou added this to the 0.13.0 milestone

lefou deleted the use-warn-level branch

March 8, 2025 07:30

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

Labels

None yet