Layr-Labs
diff --git a/‎.gitattributes‎
Lines changed: 1 addition & 0 deletions b/‎.gitattributes‎
Lines changed: 1 addition & 0 deletions
diff --git a/‎.github/workflows/certora-prover.yml‎
Lines changed: 1 addition & 1 deletion b/‎.github/workflows/certora-prover.yml‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎.github/workflows/coverage.yml‎
Lines changed: 16 additions & 12 deletions b/‎.github/workflows/coverage.yml‎
Lines changed: 16 additions & 12 deletions
diff --git a/‎.github/workflows/testinparallel.yml‎
Lines changed: 9 additions & 8 deletions b/‎.github/workflows/testinparallel.yml‎
Lines changed: 9 additions & 8 deletions
diff --git a/‎.gitignore‎
Lines changed: 4 additions & 0 deletions b/‎.gitignore‎
Lines changed: 4 additions & 0 deletions
diff --git a/‎.gitmodules‎
Lines changed: 0 additions & 6 deletions b/‎.gitmodules‎
Lines changed: 0 additions & 6 deletions
diff --git a/‎.solhintignore‎
Lines changed: 0 additions & 1 deletion b/‎.solhintignore‎
Lines changed: 0 additions & 1 deletion
diff --git a/‎certora/harnesses/DelegationManagerHarness.sol‎
Lines changed: 1 addition & 1 deletion b/‎certora/harnesses/DelegationManagerHarness.sol‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎certora/harnesses/EigenPodHarness.sol‎
Lines changed: 1 addition & 1 deletion b/‎certora/harnesses/EigenPodHarness.sol‎
Lines changed: 1 addition & 1 deletion
diff --git a/‎certora/harnesses/EigenPodManagerHarness.sol‎
Lines changed: 1 addition & 1 deletion b/‎certora/harnesses/EigenPodManagerHarness.sol‎
Lines changed: 1 addition & 1 deletion
@@ -0,0 +1 @@
+pkg/**/*.go linguist-generated=true
@@ -50,7 +50,7 @@ jobs:
       - name: Install solc
         run: |
           pip install solc-select
-          solc-select use 0.8.12 --always-install
+          solc-select use 0.8.27 --always-install
       - name: Verify rule ${{ matrix.params }}
         run: |
           bash ${{ matrix.params }}
 
@@ -14,7 +14,7 @@ jobs:
     - name: Checkout code
       uses: actions/checkout@v2
 
-  run-tests:
+  run-coverage:
     needs: prepare
     runs-on: ubuntu-latest
     strategy:
@@ -26,19 +26,20 @@ jobs:
       id: get_issue_number
       with:
         script: |
-          if (context.issue && context.issue.number) {
-            // Return issue number if present
-            return context.issue.number;
+          let issue_number;
+          // Attempt to find a pull request associated with the commit
+          const pullRequests = await github.rest.repos.listPullRequestsAssociatedWithCommit({
+            commit_sha: context.sha,
+            owner: context.repo.owner,
+            repo: context.repo.repo,
+          });
+
+          if (pullRequests.data.length > 0) {
+            issue_number = pullRequests.data[0].number;
           } else {
-            // Otherwise return issue number from commit
-            return (
-              await github.rest.repos.listPullRequestsAssociatedWithCommit({
-                commit_sha: context.sha,
-                owner: context.repo.owner,
-                repo: context.repo.repo,
-              })
-            ).data[0].number;
+            throw new Error('No associated issue or pull request found.');
           }
+          return issue_number;
         result-encoding: string
     - name: Checkout code
       uses: actions/checkout@v2
@@ -52,6 +53,9 @@ jobs:
         version: nightly
     - name: Run coverage
       run: forge coverage --report lcov
+      env:
+        RPC_MAINNET: ${{ secrets.RPC_MAINNET }}
+        RPC_HOLESKY: ${{ secrets.RPC_HOLESKY }}
     - name: Prune coverage report
       run: lcov --remove ./lcov.info -o ./lcov.info.pruned 'src/test/*' 'script/*' '*Storage.sol' --ignore-errors inconsistent
     - name: Generate reports
 
@@ -39,7 +39,7 @@ jobs:
     - name: Run Forge build
       run: |
         forge --version
-        forge build --sizes
+        forge build
       id: build
 
     - name: Run unit tests
@@ -56,10 +56,11 @@ jobs:
         RPC_HOLESKY: ${{ secrets.RPC_HOLESKY }}
         CHAIN_ID: ${{ secrets.CHAIN_ID }}
 
-    - name: Run integration mainnet fork tests
-      run: forge test --match-contract Integration
-      env:
-        FOUNDRY_PROFILE: "forktest"
-        RPC_MAINNET: ${{ secrets.RPC_MAINNET }}
-        RPC_HOLESKY: ${{ secrets.RPC_HOLESKY }}
-        CHAIN_ID: ${{ secrets.CHAIN_ID }}
+    # TODO: uncomment this item once we've added the proper upgrade tests
+    # - name: Run integration mainnet fork tests
+    #   run: forge test --match-contract Integration
+    #   env:
+    #     FOUNDRY_PROFILE: "forktest"
+    #     RPC_MAINNET: ${{ secrets.RPC_MAINNET }}
+    #     RPC_HOLESKY: ${{ secrets.RPC_HOLESKY }}
+    #     CHAIN_ID: ${{ secrets.CHAIN_ID }}
@@ -47,3 +47,7 @@ InheritanceGraph.png
 surya_report.md
 
 .idea
+
+*state.json
+deployed_strategies.json
+populate_src*
@@ -1,15 +1,9 @@
-[submodule "lib/openzeppelin-contracts-upgradeable"]
-	path = lib/openzeppelin-contracts-upgradeable
-	url = https://github.com/OpenZeppelin/openzeppelin-contracts-upgradeable
 [submodule "lib/ds-test"]
 	path = lib/ds-test
 	url = https://github.com/dapphub/ds-test
 [submodule "lib/forge-std"]
 	path = lib/forge-std
 	url = https://github.com/foundry-rs/forge-std
-[submodule "lib/openzeppelin-contracts"]
-	path = lib/openzeppelin-contracts
-	url = https://github.com/OpenZeppelin/openzeppelin-contracts
 [submodule "lib/openzeppelin-contracts-v4.9.0"]
 	path = lib/openzeppelin-contracts-v4.9.0
 	url = https://github.com/OpenZeppelin/openzeppelin-contracts
 
@@ -1 +0,0 @@
-Slasher.sol
@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: BUSL-1.1
-pragma solidity ^0.8.12;
+pragma solidity ^0.8.27;
 
 import "../../src/contracts/core/DelegationManager.sol";
 
 
@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: BUSL-1.1
-pragma solidity ^0.8.12;
+pragma solidity ^0.8.27;
 
 import "../../src/contracts/pods/EigenPod.sol";
 
 
@@ -1,5 +1,5 @@
 // SPDX-License-Identifier: BUSL-1.1
-pragma solidity ^0.8.12;
+pragma solidity ^0.8.27;
 
 import "../../src/contracts/pods/EigenPodManager.sol";