chore: ci fix

settlemint · Jan 9, 2025 · 0cbe530 · 0cbe530
1 parent 392f126
commit 0cbe530
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/.github/workflows/solidity.yml b/.github/workflows/solidity.yml
@@ -54,6 +54,7 @@ jobs:
           fail-on: none
 
       - name: Upload findings to GitHub Advanced Security Dashboard
+        continue-on-error: true
         uses: github/codeql-action/upload-sarif@v3
         with:
           sarif_file: ${{ steps.slither.outputs.sarif }}

diff --git a/lib/forge-std/src/StdCheats.sol b/lib/forge-std/src/StdCheats.sol
@@ -349,6 +349,18 @@ abstract contract StdCheatsSafe {
         );
     }
 
+    function assumeUnusedAddress(address addr) internal view virtual {
+        uint256 size;
+        assembly {
+            size := extcodesize(addr)
+        }
+        vm.assume(size == 0);
+
+        assumeNotPrecompile(addr);
+        assumeNotZeroAddress(addr);
+        assumeNotForgeAddress(addr);
+    }
+
     function readEIP1559ScriptArtifact(string memory path)
         internal
         view