Update extract_galaxy_tools.py

galaxyproject · Oct 31, 2023 · 4f5c5be · 4f5c5be
1 parent d36aeb7
commit 4f5c5be
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/bin/extract_galaxy_tools.py b/bin/extract_galaxy_tools.py
@@ -5,7 +5,12 @@
 import time
 import xml.etree.ElementTree as et
 from pathlib import Path
-from typing import List
+from typing import (
+    Any,
+    Dict,
+    List,
+    Optional,
+)
 
 import pandas as pd
 import requests