Merge branch 'main' into michael/help-messages-patch

Certora · Jan 8, 2025 · 519c62d · 519c62d
2 parents 9e76bf0 + 6049695
commit 519c62d
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 3 deletions.
diff --git a/.github/workflows/CI.yml b/.github/workflows/CI.yml
@@ -42,3 +42,4 @@ jobs:
           quorum validate-address --protocol-name Aave --chain Ethereum --payload-address 0xAD6c03BF78A3Ee799b86De5aCE32Bb116eD24637
           quorum validate-batch --config Quorum/tests/regression.json
           quorum validate-by-id --proposal-id 137 --protocol-name Aave
+          quorum validate-ipfs --proposal_id 20 --chain Scroll --payload-address 0x2B25cb729D90630395Cd3140f3460a73A41Fe5f0
diff --git a/Quorum/utils/pretty_printer.py b/Quorum/utils/pretty_printer.py
@@ -19,8 +19,8 @@ class Colors(StrEnum):
     RESET = '\033[0m'
 
 
-def pprint(message: str, status: Colors, heading: Optional[Heading]=None):
-    s = status + message + Colors.RESET
+def pprint(message: object, status: Colors, heading: Optional[Heading]=None):
+    s = status + str(message) + Colors.RESET
     if heading:
         s += '\n' + heading * len(message) + '\n'
     print(s)
diff --git a/version b/version
@@ -1 +1 @@
-20250108.022018.555389
+20250108.105011.296010