Add scopelint to ci

ScopeLift · Oct 26, 2023 · f13db93 · f13db93
1 parent 3c555c0
commit f13db93
Show file tree

Hide file tree

Showing 2 changed files with 15 additions and 17 deletions.
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
@@ -88,24 +88,21 @@ jobs:
       - name: Install Foundry
         uses: foundry-rs/foundry-toolchain@v1
 
+      - name: Install scopelint
+        uses: engineerd/[email protected]
+        with:
+          name: scopelint
+          repo: ScopeLift/scopelint
+          fromGitHubReleases: true
+          version: latest
+          pathInArchive: scopelint-x86_64-linux/scopelint
+          urlTemplate: https://github.com/ScopeLift/scopelint/releases/download/{{version}}/scopelint-x86_64-linux.tar.xz
+          token: ${{ secrets.GITHUB_TOKEN }}
+
       - name: Check formatting
-        run: forge fmt --check
-
-      #- name: Install scopelint
-      #  uses: engineerd/[email protected]
-      #  with:
-      #    name: scopelint
-      #    repo: ScopeLift/scopelint
-      #    fromGitHubReleases: true
-      #    version: latest
-      #    pathInArchive: scopelint-x86_64-linux/scopelint
-      #    urlTemplate: https://github.com/ScopeLift/scopelint/releases/download/{{version}}/scopelint-x86_64-linux.tar.xz
-      #    token: ${{ secrets.GITHUB_TOKEN }}
-
-      #- name: Check formatting
-      #  run: |
-      #    scopelint --version
-      #    scopelint check
+        run: |
+          scopelint --version
+          scopelint check
 
   slither-analyze:
     runs-on: ubuntu-latest

diff --git a/src/CometFlexVoting.sol b/src/CometFlexVoting.sol
@@ -62,6 +62,7 @@ contract CometFlexVoting is Comet, FlexVotingClient {
   //===========================================================================
   //
   // This function is called any time the underlying balance is changed.
+  // scopelint: disable-next-line
   function updateBasePrincipal(address _account, UserBasic memory _userBasic, int104 _principalNew)
     internal
     override