chore: make _writeStrategyConfigs virtual so tooling can overwrite & …

…disable certora for prs (#35)
bgd-labs · Jul 25, 2024 · 12275a9 · 12275a9
1 parent f0e26a6
commit 12275a9
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git 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
@@ -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 = '{}';