From 1d8a41224f10d3d1fc84feb4eb4255f151b00a05 Mon Sep 17 00:00:00 2001
From: miguelmtzinf <miguelmtz.mail@gmail.com>
Date: Mon, 16 Sep 2024 13:45:27 +0200
Subject: [PATCH] fix: Fix lint

---
 .github/workflows/certora-steward.yml              | 1 -
 certora/steward/harness/GhoCcipSteward_Harness.sol | 2 --
 2 files changed, 3 deletions(-)

diff --git a/.github/workflows/certora-steward.yml b/.github/workflows/certora-steward.yml
index 56a6a73a..023144c7 100644
--- 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
index cea98b0c..d23cc716 100644
--- 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;
   }
-
-
 }