From 12275a94cb3aa1a4e9e1b50d48a19d77e3842ddf Mon Sep 17 00:00:00 2001
From: Lukas <lukasstrassel@googlemail.com>
Date: Thu, 25 Jul 2024 16:25:53 +0900
Subject: [PATCH] chore: make _writeStrategyConfigs virtual so tooling can
 overwrite & disable certora for prs (#35)

---
 .github/workflows/certora.yml      | 1 +
 tests/utils/ProtocolV3TestBase.sol | 5 ++++-
 2 files changed, 5 insertions(+), 1 deletion(-)

diff --git a/.github/workflows/certora.yml b/.github/workflows/certora.yml
index 75a06c88..d9aa08af 100644
--- a/.github/workflows/certora.yml
+++ b/.github/workflows/certora.yml
@@ -18,6 +18,7 @@ on:
 jobs:
   verify:
     runs-on: ubuntu-latest
+    if: github.event.pull_request.head.repo.full_name == github.repository
 
     steps:
       - uses: actions/checkout@v4
diff --git a/tests/utils/ProtocolV3TestBase.sol b/tests/utils/ProtocolV3TestBase.sol
index faf3436e..3007f4ba 100644
--- a/tests/utils/ProtocolV3TestBase.sol
+++ b/tests/utils/ProtocolV3TestBase.sol
@@ -186,7 +186,10 @@ contract ProtocolV3TestBase is DiffUtils {
     vm.writeJson(output, path);
   }
 
-  function _writeStrategyConfigs(string memory path, ReserveConfig[] memory configs) internal {
+  function _writeStrategyConfigs(
+    string memory path,
+    ReserveConfig[] memory configs
+  ) internal virtual {
     // keys for json stringification
     string memory strategiesKey = 'stategies';
     string memory content = '{}';