From c531681a8a7ec52e4b724336929d9d7377b21927 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Emilio=20L=C3=B3pez?= <emilio.lopez@trailofbits.com>
Date: Wed, 4 Jan 2023 17:31:01 -0300
Subject: [PATCH] ci: slither-doctor: add workflow

---
 .github/workflows/doctor.yml | 74 ++++++++++++++++++++++++++++++++++++
 1 file changed, 74 insertions(+)
 create mode 100644 .github/workflows/doctor.yml

diff --git a/.github/workflows/doctor.yml b/.github/workflows/doctor.yml
new file mode 100644
index 0000000000..3d1150eef4
--- /dev/null
+++ b/.github/workflows/doctor.yml
@@ -0,0 +1,74 @@
+---
+name: CI (slither-doctor)
+
+defaults:
+  run:
+    shell: bash
+
+on:
+  push:
+    branches:
+      - master
+      - dev
+  pull_request:
+    paths:
+      - 'slither/tools/doctor/**'
+      - '.github/workflows/doctor.yml'
+
+jobs:
+  doctor:
+    runs-on: ${{ matrix.os }}
+    strategy:
+      fail-fast: false
+      matrix:
+        os: ["ubuntu-latest", "windows-2022"]
+        python: ["3.8", "3.9", "3.10", "3.11"]
+    steps:
+      - uses: actions/checkout@v3
+
+      - name: Set up Python ${{ matrix.python }}
+        uses: actions/setup-python@v4
+        with:
+          python-version: ${{ matrix.python }}
+
+      - name: Try system-wide Slither
+        run: |
+          pip3 install .
+
+          # escape cwd so python doesn't pick up local module
+          cd /
+
+          echo "Via module"
+          python3 -m slither.tools.doctor .
+
+          echo "Via binary"
+          slither-doctor .
+
+      - name: Try user Slither
+        run: |
+          pip3 install --user .
+
+          # escape cwd so python doesn't pick up local module
+          cd /
+
+          echo "Via module"
+          python3 -m slither.tools.doctor .
+
+          echo "Via binary"
+          slither-doctor .
+
+      - name: Try venv Slither
+        run: |
+          python3 -m venv venv
+          source venv/bin/activate
+          hash -r
+          pip3 install .
+
+          # escape cwd so python doesn't pick up local module
+          cd /
+
+          echo "Via module"
+          python3 -m slither.tools.doctor .
+
+          echo "Via binary"
+          slither-doctor .