Skip to content

Commit

Permalink
chore: merge
Browse files Browse the repository at this point in the history
  • Loading branch information
ypatil12 committed Feb 14, 2025
2 parents 319d232 + 917e8af commit 9c8ba5a
Show file tree
Hide file tree
Showing 73 changed files with 4,426 additions and 743 deletions.
3 changes: 3 additions & 0 deletions .solhint.json → .github/configs/solhint.json
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,9 @@
"no-global-import": "off",
"immutable-vars-naming": "off",
"no-console": "off"
<<<<<<< HEAD:.solhint.json

=======
>>>>>>> dev:.github/configs/solhint.json
}
}
44 changes: 44 additions & 0 deletions .github/configs/storage-diff.json
Original file line number Diff line number Diff line change
@@ -0,0 +1,44 @@
{
"contracts": [
{
"name": "AVSDirectory",
"address": "0x135dda560e946695d6f155dacafc6f1f25c1f5af"
},
{
"name": "DelegationManager",
"address": "0x39053D51B77DC0d36036Fc1fCc8Cb819df8Ef37A"
},
{
"name": "RewardsCoordinator",
"address": "0x7750d328b314EfFa365A0402CcfD489B80B0adda"
},
{
"name": "StrategyManager",
"address": "0x858646372CC42E1A627fcE94aa7A7033e7CF075A"
},
{
"name": "StrategyFactory",
"address": "0x5e4C39Ad7A3E881585e383dB9827EB4811f6F647"
},
{
"name": "EigenPodManager",
"address": "0x91E677b07F7AF907ec9a428aafA9fc14a0d3A338"
},
{
"name": "EigenPod",
"address": "0xd4018Ce9A041a9c110A9d0383d2b5E1c66Ae1513"
},
{
"name": "stETH Strategy",
"address": "0x93c4b944D05dfe6df7645A86cd2206016c51564D"
},
{
"name": "EigenStrategy",
"address": "0xaCB55C530Acdb2849e6d4f36992Cd8c9D50ED8F7"
},
{
"name": "StrategyBase",
"address": "0x6c6E8aF98a49bBaBCc17ca1dbA6b95c5D58A2ccb"
}
]
}
11 changes: 11 additions & 0 deletions .github/pull_request_template.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,11 @@
**Motivation:**

*Explain here the context, and why you're making that change. What is the problem you're trying to solve.*

**Modifications:**

*Describe the modifications you've done.*

**Result:**

*After your change, what will change.*
62 changes: 62 additions & 0 deletions .github/workflows/certora.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,62 @@
# name: Certora

# on:
# workflow_dispatch:
# pull_request:
# branches:
# - dev
# push:
# branches:
# - dev
# - master
# - release-v*
# - formal-verification
# - m2-mainnet
# - testnet-holesky

# jobs:
# certora:
# name: Test

# runs-on: ubuntu-latest
# steps:

# - uses: actions/checkout@v3
# with:
# submodules: recursive

# - name: Install Foundry
# uses: foundry-rs/foundry-toolchain@v1
# with:
# version: stable

# - name: Install forge dependencies
# run: forge install

# - name: Install Python
# uses: actions/setup-python@v2
# with:
# python-version: '3.10'
# cache: 'pip'

# - name: Install Java
# uses: actions/setup-java@v2
# with:
# distribution: temurin
# java-version: '17'

# - name: Install Certora CLI
# run: pip install certora-cli

# - name: Install Solidity Compiler
# run: |
# pip install solc-select
# solc-select use 0.8.27 --always-install

# - name: Run Certora Verification
# run: |
# for script in $(ls certora/scripts/{,**}/*.sh | grep -v '\WnoCI\W'); do
# bash "$script"
# done
# env:
# CERTORAKEY: ${{ secrets.CERTORAKEY }}
Original file line number Diff line number Diff line change
@@ -1,17 +1,31 @@
name: CI
name: Check

on: [push]
on:
push:
workflow_dispatch: {}

permissions:
contents: read
pull-requests: read

jobs:
check-compilation:
commitlint:
name: Commit Linting
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v4
- uses: wagoid/commitlint-github-action@v6

go-bindings:
name: Bindings
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v3
- uses: actions/checkout@v4
with:
fetch-depth: 0
- name: Build and validate
if: github.event_name == 'push'
run: |
make docker
docker run -v `pwd`:/build -w /build --rm -i eigenlayer-contracts:latest bash -c "make gha"
if [ ! -z "$(git status --porcelain)" ]; then git diff; git status; exit 1; fi
if [ ! -z "$(git status --porcelain)" ]; then git diff; git status; exit 1; fi
23 changes: 0 additions & 23 deletions .github/workflows/commitlint.yml

This file was deleted.

Loading

0 comments on commit 9c8ba5a

Please sign in to comment.