Add GitHub Actions workflow for linting code.

.github/workflows/build_docs.yml

@@ -52,18 +52,21 @@ jobs:
           if [ -d "public" ]; then
             echo "public directory exists. Proceeding with deployment."
 
-
             find . -maxdepth 1 ! -name '.git' ! -name '.' ! -name 'public' -exec rm -rf {} +
+
             cp -r public/* .
-            touch .nojekyll
 
-            ls -la .
+            touch .nojekyll
 
             git add .
-            git commit -m "Deploy updated documentation to GitHub Pages from commit $GITHUB_SHA"
-            git push origin gh-pages --force
+            if git diff --cached --quiet; then
+              echo "No changes to commit. Skipping deployment."
+              exit 0
+            else
+              git commit -m "Deploy updated documentation to GitHub Pages from commit $GITHUB_SHA"
+              git push origin gh-pages --force
+            fi
           else
             echo "Error: 'public/' directory does not exist during deployment."
             exit 1
           fi
-

.github/workflows/lint_code.yml

@@ -0,0 +1,38 @@
+name: Lint Code
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v3
+
+      - name: Set up Python
+        uses: actions/setup-python@v4
+        with:
+          python-version: '3.10'
+
+      - name: Install linting dependencies
+        run: |
+          pip install black==24.10.0 isort==5.13.2 ruff==0.6.9
+
+      - name: Run Black
+        run: |
+          black --check .
+
+      - name: Run isort
+        run: |
+          isort --check-only .
+
+      - name: Run Ruff
+        run: |
+          ruff check .