Skip to content

Conversation

@0xClandestine
Copy link
Member

Motivation:

Foundry will be adding forge lint to stable soon, I want to support forge lint config beforehand.

Modifications:

  • Added forge lint related config to Foundry.toml.
  • Disabled linting for script and src/test.

Result:

Can configure forge lint.

@0xClandestine 0xClandestine force-pushed the feat/support-lint branch 2 times, most recently from 4102db5 to c07f5af Compare July 16, 2025 16:15
@0xClandestine 0xClandestine merged commit c5b3b8d into main Jul 17, 2025
14 checks passed
@0xClandestine 0xClandestine deleted the feat/support-lint branch July 17, 2025 15:14
@github-actions
Copy link

Certora Run Started (Eigenlayer Contracts)

  • Group ID: f6ed791d-a550-4ca8-8713-1b8f414bac22
Config Status Link Log File
core/AllocationManager.conf Compiled - certora/confs/core/AllocationManager.conf-277322ab42b0.log
core/AllocationManagerSanity.conf Compiled - certora/confs/core/AllocationManagerSanity.conf-0fab17e10469.log
core/DelegationManager.conf Compiled - certora/confs/core/DelegationManager.conf-921b268d17ca.log
core/DelegationManagerValidState.conf Compiled - certora/confs/core/DelegationManagerValidState.conf-ae5def387f54.log
core/StrategyManager.conf Failed (1) - certora/confs/core/StrategyManager.conf-a07eaf70ea45.log
permissions/Pausable.conf Compiled - certora/confs/permissions/Pausable.conf-7dd7446579fd.log
pods/EigenPodManagerRules.conf Compiled - certora/confs/pods/EigenPodManagerRules.conf-74f1676ead1c.log
strategies/StrategyBase.conf Compiled - certora/confs/strategies/StrategyBase.conf-1cdc301714f6.log

Certora Run Summary

  • Started 0 jobs
  • 1 jobs failed

Download Logs

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants