fix: Fix lint

aave · Sep 16, 2024 · 1d8a412 · 1d8a412
1 parent f58767b
commit 1d8a412
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 3 deletions.
diff --git a/.github/workflows/certora-steward.yml b/.github/workflows/certora-steward.yml
@@ -56,4 +56,3 @@ jobs:
           - GhoBucketSteward.conf
           - GhoCcipSteward.conf
           - GhoGsmSteward.conf
-
diff --git a/certora/steward/harness/GhoCcipSteward_Harness.sol b/certora/steward/harness/GhoCcipSteward_Harness.sol
@@ -14,6 +14,4 @@ contract GhoCcipSteward_Harness is GhoCcipSteward {
   function getCcipTimelocks() external view returns (CcipDebounce memory) {
     return _ccipTimelocks;
   }
-
-
 }
Original file line number	Diff line number	Diff line change
Expand Up		@@ -56,4 +56,3 @@ jobs:
		- GhoBucketSteward.conf
		- GhoCcipSteward.conf
		- GhoGsmSteward.conf
-Original file line number
+Diff line change
@@ Expand Up / @@ -14,6 +14,4 @@ contract GhoCcipSteward_Harness is GhoCcipSteward { @@
       function getCcipTimelocks() external view returns (CcipDebounce memory) {
         return _ccipTimelocks;
       }
     }