Fix typing

Certora · Jan 6, 2025 · 20a4b3c · 20a4b3c
1 parent 4097d3d
commit 20a4b3c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/Quorum/entry_points/quorum_cli.py b/Quorum/entry_points/quorum_cli.py
@@ -2,6 +2,7 @@
 
 import argparse
 from pydantic import BaseModel
+from typing import Callable
 
 import Quorum.entry_points.cli_arguments as cli_args
 from Quorum.entry_points.implementations.check_proposal import run_single
@@ -16,10 +17,7 @@ class Command(BaseModel):
     name: str
     help: str
     arguments: list[cli_args.Argument]
-    func: callable
-
-    class Config:
-        arbitrary_types_allowed = True
+    func: Callable[[argparse.Namespace], None]
 
 
 COMMAND_REGISTRY = [

diff --git a/version b/version
@@ -1 +1 @@
-20250106.171312.982801
+20250106.171730.755013