.

Certora · Jan 6, 2025 · 9415e04 · 9415e04
1 parent b644502
commit 9415e04
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -125,7 +125,7 @@ To fully enable Quorum’s checks, set the following:
    QUORUM_PATH="/path/to/quorum_artifacts"
    ```
 
-*(This file is automatically created by `SetupQuorum` if not already present.)*
+*(This file is automatically created by `Quorum setup` if not already present.)*
 
 ---
 

diff --git a/version b/version
@@ -1 +1 @@
-20250106.172700.094680
+20250106.172822.017833
-Original file line number
+Diff line change
@@ Expand Up / @@ -125,7 +125,7 @@ To fully enable Quorum’s checks, set the following: @@
        QUORUM_PATH="/path/to/quorum_artifacts"
        ```
-    *(This file is automatically created by `SetupQuorum` if not already present.)*
+    *(This file is automatically created by `Quorum setup` if not already present.)*
     ---
@@ Expand Down @@