added dev dependencies

Author: RexMortem

.github/workflows/ci.yml

@@ -31,7 +31,7 @@ jobs:
     - name: Install pipenv
       run: pip install pipenv
     - name: Install dependencies from lockfile
-      run: pipenv sync
+      run: pipenv sync --dev
     - name: Run Black
       run: pipenv run black --check progcomp
     - name: Run MyPy

Pipfile

@@ -37,6 +37,8 @@ urllib3 = "*"
 werkzeug = "*"
 
 [dev-packages]
+black = "*"
+mypy = "*"
 
 [requires]
-python_version = "3.14"
+python_version = "3.14"