From ef2ad26f9674ca84d61450d4e4256caad70d03ef Mon Sep 17 00:00:00 2001 From: paulzierep Date: Tue, 4 Jun 2024 15:53:25 +0200 Subject: [PATCH] lint --- bin/extract_galaxy_tools.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/bin/extract_galaxy_tools.py b/bin/extract_galaxy_tools.py index c6be572d..e7e072bd 100644 --- a/bin/extract_galaxy_tools.py +++ b/bin/extract_galaxy_tools.py @@ -489,7 +489,7 @@ def get_all_installed_tool_ids_on_server(galaxy_url: str) -> List[str]: return [tool_dict["id"] for tool_dict in tool_dict_list] -def check_tools_on_servers(tool_ids: List[str], galaxy_server_url: str) -> pd.DataFrame: +def check_tools_on_servers(tool_ids: List[str], galaxy_server_url: str) -> int: """ Return number of tools in tool_ids installed on galaxy_server_url