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

fix(relay): create logs directory before logging attempt #285

Open

LeoDog896 wants to merge 1 commit into leanprover-community:main from LeoDog896:auto-log

LeoDog896 commented Jan 26, 2025

this also:

uses the path.join API instead of direct path concatenation
doesn't silently ignore the error created by appendFile


          fix(relay): create logs directory before logging attempt

268817c

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

Labels

None yet