-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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
[BUG] check-license failing sometimes #2528
Comments
@gabrieldemarmiesse any ideas? maybe using a python hook would be a workaround for now? |
Mhhh indeed that's hard to know what was going on. My guess is that at that time, either the stdlib.mojopkg wasn't build yet, or the environment variable setting the path to the stdlib.mojopkg wasn't set correctly. I must admit it's hard to find out what exactly happened without being able to reproduce |
yep that was my guess too, but I ran both commands in the same terminal one after the other (I tried |
I found the issue, I did what is mentioned in development.md: mojo/stdlib/docs/development.md Lines 249 to 262 in 00528f4
Every time I commit entr tries to compile so the pre-commit is ran while compiling stdlib, so maybe it is worth adding a comment in the doc @gabrieldemarmiesse ?
|
Nice one! Indeed, that makes sense that it didn't work. Yes feel free to open a PR with a comment in the guide |
Thanks for this issue! |
Bug description
The pre-commit hook for license checking is failing sometimes.
I had not been able to understand when it happens, from the log it seems like my stdlib.mojopkg is not found but running an script in the same terminal by doing
mojo path/to/my/script
works (and the stdlib in my build directory is used).Steps to reproduce
just do
git commit
, I get the following log:System information
The text was updated successfully, but these errors were encountered: