Skip to content

Conversation

@ypatil12
Copy link
Collaborator

Motivation:

v.1.7.0 changelog out of date

Modifications:

Add additional commits

Result:

Release ready :)

@ypatil12 ypatil12 merged commit c724f2b into main Jul 10, 2025
14 checks passed
@ypatil12 ypatil12 deleted the feat/changelog branch July 10, 2025 18:04
@github-actions
Copy link

Certora Run Started (Eigenlayer Contracts)

  • Group ID: 39be2a52-7389-4073-bff1-ab72a2dc7e91
Config Status Link Log File
core/AllocationManager.conf Compiled - certora/confs/core/AllocationManager.conf-86ed82bb658b.log
core/AllocationManagerSanity.conf Compiled - certora/confs/core/AllocationManagerSanity.conf-a3d3d6806dba.log
core/DelegationManager.conf Compiled - certora/confs/core/DelegationManager.conf-e779f6b11fbd.log
core/DelegationManagerValidState.conf Compiled - certora/confs/core/DelegationManagerValidState.conf-bd352c090c8d.log
core/StrategyManager.conf Failed (1) - certora/confs/core/StrategyManager.conf-adf4373fb8c0.log
permissions/Pausable.conf Compiled - certora/confs/permissions/Pausable.conf-1958d839c940.log
pods/EigenPodManagerRules.conf Compiled - certora/confs/pods/EigenPodManagerRules.conf-7f0a9627acc7.log
strategies/StrategyBase.conf Compiled - certora/confs/strategies/StrategyBase.conf-596f1a33b383.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