tiennm99/serena
1
0
Fork 0
mirror of https://github.com/tiennm99/serena.git synced 2026-09-05 02:20:17 +00:00
Code Issues Packages Projects Releases Wiki Activity

Missing annotation, minor

Browse Source
This commit is contained in:
Michael Panchenko
2025-04-17 11:51:29 +02:00
parent 30643228d0
commit a7d3201d33
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/serena/agent.py
+1 -1
View File
@@ -621,7 +621,7 @@ class ListDirTool(Tool):
:return: a JSON object with the names of directories and files within the given directory
"""
def is_ignored_path(abs_path: str):
def is_ignored_path(abs_path: str) -> bool:
rel_path = os.path.relpath(abs_path, self.project_root)
return self.language_server.is_ignored_path(rel_path, ignore_unsupported_files=False)