From b7ea4d36663c94ef9b4ba44ad5173d5ee873d7bd Mon Sep 17 00:00:00 2001
From: MaxMustermann2 <82761650+MaxMustermann2@users.noreply.github.com>
Date: Mon, 26 Feb 2024 14:22:40 +0000
Subject: [PATCH] chore(build): disable Solidity workflow

Instead of commenting out the entire file (which results in linter
complaints), use the `if` statement to disable it.
---
 .github/workflows/slither.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/slither.yml b/.github/workflows/slither.yml
index 3dc059a1e..23826ddb6 100644
--- a/.github/workflows/slither.yml
+++ b/.github/workflows/slither.yml
@@ -10,6 +10,8 @@ on:
 
 jobs:
   analyze:
+    # disabled for now, since we don't have any Solidity files.
+    if: ${{ false }}
     name: Run Slither
     runs-on: ubuntu-latest
     permissions: