From 6d16b0c613c067cb27a1f54a524a78d872a3fb34 Mon Sep 17 00:00:00 2001
From: Mark Spanbroek <mark@spanbroek.net>
Date: Thu, 12 Jun 2025 16:58:58 +0200
Subject: [PATCH] certora: run vault rules as part of the CI

---
 .github/workflows/ci.yml | 1 +
 package.json             | 3 ++-
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 935e74b..8d3c9fd 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -83,4 +83,5 @@ jobs:
         rule:
           - verify:marketplace
           - verify:state_changes
+          - verify:vault
 
diff --git a/package.json b/package.json
index c2948fc..2bb9535 100644
--- a/package.json
+++ b/package.json
@@ -11,7 +11,8 @@
     "deploy": "hardhat deploy",
     "verify": "npm run verify:marketplace && npm run verify:state_changes",
     "verify:marketplace": "certoraRun certora/confs/Marketplace.conf",
-    "verify:state_changes": "certoraRun certora/confs/StateChanges.conf"
+    "verify:state_changes": "certoraRun certora/confs/StateChanges.conf",
+    "verify:vault": "certoraRun certora/confs/Vault.conf"
   },
   "devDependencies": {
     "@nomiclabs/hardhat-ethers": "^2.2.1",