fix: Fix lint

aave · Jan 14, 2025 · 4d2bc7c · 4d2bc7c
1 parent 9ce1d06
commit 4d2bc7c
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 11 deletions.
diff --git a/.github/workflows/certora-gho-505.yml b/.github/workflows/certora-gho-505.yml
@@ -26,7 +26,7 @@ jobs:
 
       - name: Install java
         uses: actions/setup-java@v4
-        with: { distribution: "zulu", java-version: "11", java-package: jre }
+        with: { distribution: 'zulu', java-version: '11', java-package: jre }
 
       - name: Install certora cli
         run: pip install certora-cli==5.0.5

diff --git a/.github/workflows/certora-gho.yml b/.github/workflows/certora-gho.yml
@@ -26,7 +26,7 @@ jobs:
 
       - name: Install java
         uses: actions/setup-java@v4
-        with: { distribution: "zulu", java-version: "11", java-package: jre }
+        with: { distribution: 'zulu', java-version: '11', java-package: jre }
 
       - name: Install certora cli
         run: pip install certora-cli==4.13.1

diff --git a/.github/workflows/certora-gsm-4626.yml b/.github/workflows/certora-gsm-4626.yml
@@ -26,7 +26,7 @@ jobs:
 
       - name: Install java
         uses: actions/setup-java@v4
-        with: { distribution: "zulu", java-version: "11", java-package: jre }
+        with: { distribution: 'zulu', java-version: '11', java-package: jre }
 
       - name: Install certora cli
         run: pip install certora-cli==7.14.2
@@ -36,7 +36,7 @@ jobs:
           wget https://github.com/ethereum/solidity/releases/download/v0.8.10/solc-static-linux
           chmod +x solc-static-linux
           sudo mv solc-static-linux /usr/local/bin/solc8.10
-      
+
       - name: Verify rule ${{ matrix.rule }}
         run: |
           certoraRun certora/gsm/conf/gsm4626/${{ matrix.rule }}
@@ -66,8 +66,3 @@ jobs:
           - getAmount_4626_properties.conf --rule getAssetAmountForSellAsset_optimality getAssetAmountForBuyAsset_funcProperty
           - finishedRules4626.conf --rule cantBuyOrSellWhenSeized cantBuyOrSellWhenFrozen sellAssetIncreasesExposure buyAssetDecreasesExposure rescuingAssetKeepsAccruedFees rescuingGhoKeepsAccruedFees giftingGhoDoesntAffectStorageSIMPLE correctnessOfBuyAsset giftingUnderlyingDoesntAffectStorageSIMPLE sellAssetSameAsGetGhoAmountForSellAsset correctnessOfSellAsset giftingGhoDoesntCreateExcessOrDearth backWithGhoDoesntCreateExcess getAssetAmountForSellAsset_correctness collectedSellFeeIsAtLeastAsRequired collectedBuyFeePlus2IsAtLeastAsRequired collectedBuyFeePlus1IsAtLeastAsRequired collectedBuyFeeIsAtLeastAsRequired sellingDoesntExceedExposureCap whoCanChangeAccruedFees whoCanChangeExposure
           - finishedRules4626.conf --rule giftingUnderlyingDoesntCreateExcessOrDearth
-
-
-
-
-
diff --git a/.github/workflows/certora-gsm.yml b/.github/workflows/certora-gsm.yml
@@ -26,7 +26,7 @@ jobs:
 
       - name: Install java
         uses: actions/setup-java@v4
-        with: { distribution: "zulu", java-version: "11", java-package: jre }
+        with: { distribution: 'zulu', java-version: '11', java-package: jre }
 
       - name: Install certora cli
         run: pip install certora-cli==6.1.3

diff --git a/.github/workflows/certora-steward.yml b/.github/workflows/certora-steward.yml
@@ -26,7 +26,7 @@ jobs:
 
       - name: Install java
         uses: actions/setup-java@v4
-        with: { distribution: "zulu", java-version: "11", java-package: jre }
+        with: { distribution: 'zulu', java-version: '11', java-package: jre }
 
       - name: Install certora cli
         run: pip install certora-cli