Update GitHub Actions workflows to reflect branch name changes

- Renamed the documentation workflow from "Deploy Documentation to GitHub Pages" to "Documentation to GitHub Pages" for clarity.
- Updated the branch names in the lint and tests workflows from "develop" to "dexter" to align with the new branch strategy.

These changes improve the consistency and clarity of the CI/CD workflows.

.github/workflows/docs.yml

@@ -1,4 +1,4 @@
-name: Deploy Documentation to GitHub Pages
+name: Documentation to GitHub Pages
 
 on:
   push:

.github/workflows/lint.yml

@@ -3,11 +3,11 @@ name: Linter
 on:
   push:
     branches:
-      - develop
+      - dexter
       - main
   pull_request:
     branches:
-      - develop
+      - dexter
       - main
 
 permissions:

.github/workflows/tests.yml

@@ -3,11 +3,11 @@ name: Tests
 on:
   push:
     branches:
-      - develop
+      - dexter
       - main
   pull_request:
     branches:
-      - develop
+      - dexter
       - main
 
 permissions: