Groundwork for mypy support in FuzzManager

.github/workflows/mypytmp.yml

@@ -0,0 +1,58 @@
+name: mypytmp
+
+on:
+  push:
+    branches: [ basic-mypy-infrastructure ]
+  pull_request:
+    branches: [ master ]
+
+jobs:
+  build:
+
+    runs-on: ubuntu-latest
+    strategy:
+      fail-fast: false
+      matrix:
+        python-version: ["3.7", "3.8", "3.9", "3.10"]
+
+    steps:
+    - uses: actions/checkout@v3
+    - name: Set up Python ${{ matrix.python-version }}
+      uses: actions/setup-python@v4
+      with:
+        python-version: ${{ matrix.python-version }}
+
+    # pip cache dependencies to save time
+    - uses: actions/cache@v3
+      if: startsWith(runner.os, 'Linux')
+      with:
+        path: ~/.cache/pip
+        key: ${{ runner.os }}-pip-${{ hashFiles('**/setup.py') }}
+        restore-keys: |
+          ${{ runner.os }}-pip-
+    - name: Get pip cache dir
+      id: pip-cache
+      run: |
+        echo "dir=$(pip cache dir)" >> $GITHUB_OUTPUT
+    - name: pip cache
+      uses: actions/cache@v3
+      with:
+        path: ${{ steps.pip-cache.outputs.dir }}
+        key: ${{ runner.os }}-pip-${{ hashFiles('**/setup.py') }}
+        restore-keys: |
+          ${{ runner.os }}-pip-
+
+    # - name: Install OS prerequisites
+    #   if: startsWith(runner.os, 'Linux')
+    #   run: sudo apt-get install ripgrep
+
+    - name: Install dependencies
+      if: steps.cache.outputs.cache-hit != 'true'
+      run: |
+        python -u -m pip install --upgrade pip setuptools wheel
+        pip install -r server/requirements3.7.txt
+        pip install --upgrade -e .
+
+    - name: Run mypy
+      run: |
+        mypy Collector/ CovReporter/ EC2Reporter/ FTB/ Reporter/ TaskStatusReporter/ misc/ server/ setup.py

.gitignore

@@ -37,3 +37,7 @@ coverage/
 # NPM
 server/frontend/node_modules
 server/frontend/dist
+
+# IDE / Editor
+.vscode/
+.idea/