Skip to content

Commit 6caf5cc

Browse files
refactor: quality of life improvements (#1006)
* refactor: ci refactor: remove gas report fix: gas report fix: gas report refactor: continuous fuzzing refactor: cleanup feat: gas reporting feat: intense continuous fuzzing refactor: rename workflow files refactor: renaming refactor: ci refactor: renaming refactor: ci feat: add `FOUNDRY_PROFILE=lite` to ci refactor: small `foundry.toml` cleanup refactor: renaming fix: continuous fuzzing * refactor: naming * refactor: intense runs -> 15000 * refactor: move CONTRIBUTING.md -> .github/ * refactor: reduce dotfiles * refactor: remove `testHelpers` * feat: add `PULL_REQUEST_TEMPLATE.md` * refactor: foundry ci * fix: foundry ci * refactor: rename * feat: mainnet storage diff ci * refactor: certora ci (remove parallelism) * refactor: intense runs -> 5000 * refactor: coverage * test: ci * refactor: continuous fuzzing * refactor: note minimum avg coverage * refactor: coverage * refactor: coverage * refactor: coverage * refactor: coverage * refactor: coverage * refactor: coverage * refactor: move storage-diff.yml * refactor: foundry.yml * refactor: foundry.yml * fix: certora scripts * fix: certora * refactor: local deploy workflow -> test * refactor: rename certora workflow * refactor: checks * refactor: name * refactor: comment out certora.yml until they finish slashing specs * refactor: review changes * refactor: ci runs 1 -> 256 * fix: coverage branch filtering * refactor: add -vvv flag * refactor: lowercase pr template name * refactor: move CONTRIBUTING.md * feat: more storage diff coverage * docs: improve contributor guide * refactor: intense workflow - add message telling the dev it's purpose * refactor: intense warning * refactor: add `.github/configs/` * fix: ci * refactor: remove useless commitlint config * refactor: cleanup * refactor: add color * refactor: remove useless color flag * refactor: remove prettier (unused)
1 parent 6bbadd2 commit 6caf5cc

35 files changed

+572
-544
lines changed

.solhint.json renamed to .github/configs/solhint.json

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -18,6 +18,5 @@
1818
"no-global-import": "off",
1919
"immutable-vars-naming": "off",
2020
"no-console": "off"
21-
2221
}
2322
}

.github/configs/storage-diff.json

Lines changed: 44 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,44 @@
1+
{
2+
"contracts": [
3+
{
4+
"name": "AVSDirectory",
5+
"address": "0x135dda560e946695d6f155dacafc6f1f25c1f5af"
6+
},
7+
{
8+
"name": "DelegationManager",
9+
"address": "0x39053D51B77DC0d36036Fc1fCc8Cb819df8Ef37A"
10+
},
11+
{
12+
"name": "RewardsCoordinator",
13+
"address": "0x7750d328b314EfFa365A0402CcfD489B80B0adda"
14+
},
15+
{
16+
"name": "StrategyManager",
17+
"address": "0x858646372CC42E1A627fcE94aa7A7033e7CF075A"
18+
},
19+
{
20+
"name": "StrategyFactory",
21+
"address": "0x5e4C39Ad7A3E881585e383dB9827EB4811f6F647"
22+
},
23+
{
24+
"name": "EigenPodManager",
25+
"address": "0x91E677b07F7AF907ec9a428aafA9fc14a0d3A338"
26+
},
27+
{
28+
"name": "EigenPod",
29+
"address": "0xd4018Ce9A041a9c110A9d0383d2b5E1c66Ae1513"
30+
},
31+
{
32+
"name": "stETH Strategy",
33+
"address": "0x93c4b944D05dfe6df7645A86cd2206016c51564D"
34+
},
35+
{
36+
"name": "EigenStrategy",
37+
"address": "0xaCB55C530Acdb2849e6d4f36992Cd8c9D50ED8F7"
38+
},
39+
{
40+
"name": "StrategyBase",
41+
"address": "0x6c6E8aF98a49bBaBCc17ca1dbA6b95c5D58A2ccb"
42+
}
43+
]
44+
}

.github/pull_request_template.md

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,11 @@
1+
**Motivation:**
2+
3+
*Explain here the context, and why you're making that change. What is the problem you're trying to solve.*
4+
5+
**Modifications:**
6+
7+
*Describe the modifications you've done.*
8+
9+
**Result:**
10+
11+
*After your change, what will change.*

.github/workflows/certora-prover.yml

Lines changed: 0 additions & 64 deletions
This file was deleted.

.github/workflows/certora.yml

Lines changed: 62 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,62 @@
1+
# name: Certora
2+
3+
# on:
4+
# workflow_dispatch:
5+
# pull_request:
6+
# branches:
7+
# - dev
8+
# push:
9+
# branches:
10+
# - dev
11+
# - master
12+
# - release-v*
13+
# - formal-verification
14+
# - m2-mainnet
15+
# - testnet-holesky
16+
17+
# jobs:
18+
# certora:
19+
# name: Test
20+
21+
# runs-on: ubuntu-latest
22+
# steps:
23+
24+
# - uses: actions/checkout@v3
25+
# with:
26+
# submodules: recursive
27+
28+
# - name: Install Foundry
29+
# uses: foundry-rs/foundry-toolchain@v1
30+
# with:
31+
# version: stable
32+
33+
# - name: Install forge dependencies
34+
# run: forge install
35+
36+
# - name: Install Python
37+
# uses: actions/setup-python@v2
38+
# with:
39+
# python-version: '3.10'
40+
# cache: 'pip'
41+
42+
# - name: Install Java
43+
# uses: actions/setup-java@v2
44+
# with:
45+
# distribution: temurin
46+
# java-version: '17'
47+
48+
# - name: Install Certora CLI
49+
# run: pip install certora-cli
50+
51+
# - name: Install Solidity Compiler
52+
# run: |
53+
# pip install solc-select
54+
# solc-select use 0.8.27 --always-install
55+
56+
# - name: Run Certora Verification
57+
# run: |
58+
# for script in $(ls certora/scripts/{,**}/*.sh | grep -v '\WnoCI\W'); do
59+
# bash "$script"
60+
# done
61+
# env:
62+
# CERTORAKEY: ${{ secrets.CERTORAKEY }}
Lines changed: 19 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,17 +1,31 @@
1-
name: CI
1+
name: Check
22

3-
on: [push]
3+
on:
4+
push:
5+
workflow_dispatch: {}
6+
7+
permissions:
8+
contents: read
9+
pull-requests: read
410

511
jobs:
6-
check-compilation:
12+
commitlint:
13+
name: Commit Linting
14+
runs-on: ubuntu-latest
15+
steps:
16+
- uses: actions/checkout@v4
17+
- uses: wagoid/commitlint-github-action@v6
18+
19+
go-bindings:
20+
name: Bindings
721
runs-on: ubuntu-latest
822
steps:
9-
- uses: actions/checkout@v3
23+
- uses: actions/checkout@v4
1024
with:
1125
fetch-depth: 0
1226
- name: Build and validate
1327
if: github.event_name == 'push'
1428
run: |
1529
make docker
1630
docker run -v `pwd`:/build -w /build --rm -i eigenlayer-contracts:latest bash -c "make gha"
17-
if [ ! -z "$(git status --porcelain)" ]; then git diff; git status; exit 1; fi
31+
if [ ! -z "$(git status --porcelain)" ]; then git diff; git status; exit 1; fi

.github/workflows/commitlint.yml

Lines changed: 0 additions & 23 deletions
This file was deleted.

.github/workflows/coverage.yml

Lines changed: 0 additions & 76 deletions
This file was deleted.

.github/workflows/deploy-local.yml

Lines changed: 0 additions & 51 deletions
This file was deleted.

0 commit comments

Comments
 (0)