From de8b374a707755dc77e837027cc403da6cc53f73 Mon Sep 17 00:00:00 2001
From: Yury Pikhtarev <exileum@icloud.com>
Date: Fri, 11 Jul 2025 23:16:33 +0200
Subject: [PATCH] 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  | 2 +-
 .github/workflows/lint.yml  | 4 ++--
 .github/workflows/tests.yml | 4 ++--
 3 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 9770da709..5e3f926d3 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -1,4 +1,4 @@
-name: Deploy Documentation to GitHub Pages
+name: Documentation to GitHub Pages
 
 on:
   push:
diff --git a/.github/workflows/lint.yml b/.github/workflows/lint.yml
index 4b73796a1..d5565d88f 100644
--- a/.github/workflows/lint.yml
+++ b/.github/workflows/lint.yml
@@ -3,11 +3,11 @@ name: Linter
 on:
   push:
     branches:
-      - develop
+      - dexter
       - main
   pull_request:
     branches:
-      - develop
+      - dexter
       - main
 
 permissions:
diff --git a/.github/workflows/tests.yml b/.github/workflows/tests.yml
index a2bc4d7c9..ef7517a34 100644
--- a/.github/workflows/tests.yml
+++ b/.github/workflows/tests.yml
@@ -3,11 +3,11 @@ name: Tests
 on:
   push:
     branches:
-      - develop
+      - dexter
       - main
   pull_request:
     branches:
-      - develop
+      - dexter
       - main
 
 permissions: