Merge pull request #507 from PolyJIT/f-FixesTypeError

Fixes type error in filter_workload_index
PolyJIT · Sep 15, 2022 · 761ee37 · 761ee37
2 parents 848766a + 56ea4df
commit 761ee37
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/benchbuild/command.py b/benchbuild/command.py
@@ -543,7 +543,7 @@ def unwrap(
 
 
 def filter_workload_index(
-    only: WorkloadSet, index: WorkloadIndex
+    only: tp.Optional[WorkloadSet], index: WorkloadIndex
 ) -> tp.Generator[tp.List[Command], None, None]:
     """
     Yield only commands from the index that match the filter.