Refactor CI workflows: replace Python CI and formatting workflows with unified pytest and lint workflows for improved clarity and maintainability

Author: DevaanshPathak

.github/copilot-instructions.md

@@ -43,8 +43,8 @@ TechLang is a hacker-themed, stack-based programming language with its own inter
   - Multi-line: `assert run(code).strip().splitlines() == ["line1", "line2"]`
   - Tests in `tests/test_*.py` cover interpreter, database, data types, file ops, graphics, network, threads, etc.
 - **CI workflows**: 
-  - `.github/workflows/python-app.yml`: Runs `python run_tests.py` on push/PR to main
-  - `.github/workflows/techlang-format.yml`: Enforces formatting/linting on all `.tl` files in `examples/`
+  - `.github/workflows/pytest.yml`: Runs `python run_tests.py` on push/PR to main
+  - `.github/workflows/lint.yml`: Lints Python code and enforces formatting/linting on all `.tl` files in `examples/`
 - **Formatter/linter**: `python format_tl.py --check file.tl` (check formatting), `--fix` (reformat in place), `--lint` (detect issues like unclosed blocks, undefined vars). 
 - **Documentation sync**: When adding/renaming commands, update `examples/`, `docs/*.md`, and ensure CLI (`cli.py`), GUI (`playground/gui.py`), and web app (`techlang_web/app.py`) remain aligned.
 - **CLI modes**: `tl file.tl` (run file), `tl -i` (REPL), `tl -v file.tl` (verbose—streams each command before execution, helpful for tracing parser vs executor).

.github/workflows/python-app.yml .github/workflows/lint.yml.github/workflows/python-app.yml renamed to .github/workflows/lint.yml

@@ -1,4 +1,4 @@
-name: Python CI
+name: Lint
 
 on:
   push:
@@ -7,7 +7,8 @@ on:
     branches: [ "main" ]
 
 jobs:
-  test:
+  lint-python:
+    name: Lint Python Code
     runs-on: ubuntu-latest
 
     steps:
@@ -19,18 +20,21 @@ jobs:
         with:
           python-version: "3.10"
 
-      - name: Install dependencies
+      - name: Install flake8
         run: |
           python -m pip install --upgrade pip
-          pip install -r requirements.txt
-          pip install pytest
+          pip install flake8
 
-      - name: Run tests
+      - name: Lint Python files
         run: |
-          python run_tests.py
+          flake8 techlang/ tests/ --count --select=E9,F63,F7,F82 --show-source --statistics
+          flake8 techlang/ tests/ --count --exit-zero --max-complexity=10 --max-line-length=127 --statistics
+        continue-on-error: true
 
-  lint:
+  lint-techlang:
+    name: Lint TechLang Files
     runs-on: ubuntu-latest
+
     steps:
       - name: Checkout repository
         uses: actions/checkout@v4
@@ -40,12 +44,16 @@ jobs:
         with:
           python-version: "3.10"
 
-      - name: Install flake8
+      - name: Install dependencies
         run: |
           python -m pip install --upgrade pip
-          pip install flake8
+          pip install -r requirements.txt
+
+      - name: Check TechLang formatting
+        run: |
+          python format_tl.py --check examples/
 
-      - name: Lint code (optional)
+      - name: Lint TechLang files
         run: |
-          # This will show lint warnings but never fail the job
-          flake8 . --count --max-line-length=127 --statistics --exit-zero
+          python format_tl.py --lint examples/
+        continue-on-error: true

.github/workflows/pytest.yml

@@ -0,0 +1,31 @@
+name: Tests
+
+on:
+  push:
+    branches: [ "main" ]
+  pull_request:
+    branches: [ "main" ]
+
+jobs:
+  test:
+    name: Run Python Tests
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v4
+
+      - name: Set up Python 3.10
+        uses: actions/setup-python@v3
+        with:
+          python-version: "3.10"
+
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install -r requirements.txt
+          pip install pytest
+
+      - name: Run test suite
+        run: |
+          python run_tests.py

.github/workflows/techlang-format.yml

@@ -353,8 +353,8 @@ call utils.helpers.greet   # both :: and . work
 
 ### GitHub Actions
 
-1. **`python-app.yml`**: Runs full test suite on push/PR
-2. **`techlang-format.yml`**: Validates `.tl` file formatting
+1. **`pytest.yml`**: Runs full test suite on push/PR
+2. **`lint.yml`**: Lints Python code and validates TechLang (`.tl`) file formatting
 
 ### Pre-Commit Checklist