diff --git a/.circleci/config.yml b/.circleci/config.yml index 1cdb7c4fe9da4..3ae5b5f784872 100644 --- a/.circleci/config.yml +++ b/.circleci/config.yml @@ -733,7 +733,7 @@ jobs: - run-contracts-check: command: semgrep - run-contracts-check: - command: semver-lock + command: semver-lock-no-build - run-contracts-check: command: semver-diff-check-no-build - run-contracts-check: diff --git a/packages/contracts-bedrock/foundry.toml b/packages/contracts-bedrock/foundry.toml index b77e7bca43129..ee4be8cb10da9 100644 --- a/packages/contracts-bedrock/foundry.toml +++ b/packages/contracts-bedrock/foundry.toml @@ -72,10 +72,10 @@ wrap_comments=true ################################################################ [profile.ci.fuzz] -runs = 512 +runs = 128 [profile.ci.invariant] -runs = 256 +runs = 64 depth = 32 ################################################################