-
Notifications
You must be signed in to change notification settings - Fork 12
tools
: add git version to generated files when possible
#223
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
Conversation
rivos-eblot
commented
Oct 7, 2025
- other small fixes
8f0791a
to
c9f668b
Compare
c9f668b
to
486dcc3
Compare
I looked into the CI failure for you, we use This is maybe the easiest fix? diff --git a/python/qemu/ot/util/misc.py b/python/qemu/ot/util/misc.py
index eccb3c49ab..519c542ca7 100644
--- a/python/qemu/ot/util/misc.py
+++ b/python/qemu/ot/util/misc.py
@@ -237,7 +237,7 @@ def retrieve_git_version(path: str, max_tag_dist: int = 100) \
cfgdir = path
else:
return None
- while cfgdir and isdir(cfgdir):
+ while cfgdir and cfgdir != dirname(cfgdir) and isdir(cfgdir):
gitdir = joinpath(cfgdir, '.git')
if exists(gitdir): # either a dir or a file for worktree
break |
I thought I had tested it, but it seems I failed :-( |
486dcc3
to
44128ff
Compare
44128ff
to
669e9d8
Compare
…on non git dir hierarchy Signed-off-by: Emmanuel Blot <eblot@rivosinc.com>
…fig file. Signed-off-by: Emmanuel Blot <eblot@rivosinc.com>
Signed-off-by: Emmanuel Blot <eblot@rivosinc.com>
…w size limit Signed-off-by: Emmanuel Blot <eblot@rivosinc.com>
Signed-off-by: Emmanuel Blot <eblot@rivosinc.com>
…-able space. Signed-off-by: Emmanuel Blot <eblot@rivosinc.com>
669e9d8
to
a4166a6
Compare
It seems that one single test is failing. Can I merge this PR? |
Yes, this has failed a couple times so should probably be marked flaky but you can merge. |