Improve CI debugging: show pip list and use --tb=short

.forgejo/workflows/ci.yaml

@@ -44,8 +44,9 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           pip install -r requirements-dev.txt
+          pip list
       - name: Run tests
-        run: pytest -q tests -v
+        run: pytest tests -v --tb=short
 
   type-check:
     runs-on: [linux, docker]

.forgejo/workflows/deploy.yaml

@@ -43,8 +43,9 @@ jobs:
         run: |
           python -m pip install --upgrade pip
           pip install -r requirements-dev.txt
+          pip list
       - name: Run tests
-        run: pytest -q tests -v
+        run: pytest tests -v --tb=short
 
   type-check:
     runs-on: [linux, docker]
@@ -59,8 +60,7 @@ jobs:
       - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install mypy
-          pip install -r requirements.txt
+          pip install -r requirements-dev.txt
       - name: Run mypy
         run: mypy app scripts --ignore-missing-imports