Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
50 commits
Select commit Hold shift + click to select a range
cb86f3c
refactor: ci
0xClandestine Dec 18, 2024
111c9d0
refactor: naming
0xClandestine Dec 20, 2024
a3305be
refactor: intense runs -> 15000
0xClandestine Dec 20, 2024
b0f09d4
refactor: move CONTRIBUTING.md -> .github/
0xClandestine Jan 29, 2025
89e0633
refactor: reduce dotfiles
0xClandestine Jan 30, 2025
19e8080
refactor: remove `testHelpers`
0xClandestine Jan 30, 2025
749b087
feat: add `PULL_REQUEST_TEMPLATE.md`
0xClandestine Jan 30, 2025
341bb4c
refactor: foundry ci
0xClandestine Jan 30, 2025
0ed3204
fix: foundry ci
0xClandestine Jan 30, 2025
ac2cd22
refactor: rename
0xClandestine Jan 30, 2025
a6b327f
feat: mainnet storage diff ci
0xClandestine Jan 30, 2025
a12a814
refactor: certora ci (remove parallelism)
0xClandestine Jan 30, 2025
638fa4f
refactor: intense runs -> 5000
0xClandestine Jan 30, 2025
8a62ade
refactor: coverage
0xClandestine Jan 30, 2025
7d1462b
test: ci
0xClandestine Jan 30, 2025
fe294c1
refactor: continuous fuzzing
0xClandestine Jan 30, 2025
3929a23
refactor: note minimum avg coverage
0xClandestine Jan 30, 2025
90df1d0
refactor: coverage
0xClandestine Jan 30, 2025
dba5148
refactor: coverage
0xClandestine Jan 30, 2025
dc9da21
refactor: coverage
0xClandestine Jan 30, 2025
fdae784
refactor: coverage
0xClandestine Jan 30, 2025
6ec58a5
refactor: coverage
0xClandestine Jan 30, 2025
94ecb9f
refactor: coverage
0xClandestine Jan 30, 2025
f4ba1a5
refactor: move storage-diff.yml
0xClandestine Jan 30, 2025
d402ec2
refactor: foundry.yml
0xClandestine Jan 30, 2025
3e32eda
refactor: foundry.yml
0xClandestine Jan 30, 2025
b6ef201
fix: certora scripts
0xClandestine Jan 30, 2025
d6dc66d
fix: certora
0xClandestine Jan 30, 2025
204a04c
refactor: local deploy workflow -> test
0xClandestine Jan 30, 2025
7cdb1e1
refactor: rename certora workflow
0xClandestine Jan 30, 2025
e4d2660
refactor: checks
0xClandestine Jan 30, 2025
b018a78
refactor: name
0xClandestine Jan 30, 2025
aa39254
refactor: comment out certora.yml until they finish slashing specs
0xClandestine Jan 30, 2025
7be66f4
refactor: review changes
0xClandestine Jan 30, 2025
7a860a6
refactor: ci runs 1 -> 256
0xClandestine Jan 30, 2025
d19620a
fix: coverage branch filtering
0xClandestine Jan 30, 2025
f24faeb
refactor: add -vvv flag
0xClandestine Jan 31, 2025
fb1bdc4
refactor: lowercase pr template name
0xClandestine Jan 31, 2025
c61c3e2
refactor: move CONTRIBUTING.md
0xClandestine Jan 31, 2025
5bb35e1
feat: more storage diff coverage
0xClandestine Jan 31, 2025
4be6dec
docs: improve contributor guide
0xClandestine Jan 31, 2025
63c4220
refactor: intense workflow
0xClandestine Jan 31, 2025
1a8678e
refactor: intense warning
0xClandestine Jan 31, 2025
aa49555
refactor: add `.github/configs/`
0xClandestine Jan 31, 2025
7fa41b8
fix: ci
0xClandestine Jan 31, 2025
2e3d692
refactor: remove useless commitlint config
0xClandestine Jan 31, 2025
fcf728b
refactor: cleanup
0xClandestine Jan 31, 2025
59b9fb0
refactor: add color
0xClandestine Jan 31, 2025
ee298d4
refactor: remove useless color flag
0xClandestine Jan 31, 2025
60a84ce
refactor: remove prettier (unused)
0xClandestine Jan 31, 2025
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
1 change: 0 additions & 1 deletion .solhint.json → .github/configs/solhint.json
Original file line number Diff line number Diff line change
Expand Up @@ -18,6 +18,5 @@
"no-global-import": "off",
"immutable-vars-naming": "off",
"no-console": "off"

}
}
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.*
64 changes: 0 additions & 64 deletions .github/workflows/certora-prover.yml

This file was deleted.

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.

76 changes: 0 additions & 76 deletions .github/workflows/coverage.yml

This file was deleted.

51 changes: 0 additions & 51 deletions .github/workflows/deploy-local.yml

This file was deleted.

Loading
Loading