the devel branch is spelled devel, not develop

pauldreik · Jan 12, 2025 · f86108b · f86108b
1 parent 7eb392a
commit f86108b
Show file tree

Hide file tree

Showing 13 changed files with 14 additions and 14 deletions.
diff --git a/.github/workflows/clang18.yml b/.github/workflows/clang18.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 

diff --git a/.github/workflows/codeql.yml b/.github/workflows/codeql.yml
@@ -13,10 +13,10 @@ name: "CodeQL"
 
 on:
   push:
-    branches: [ "main", "develop" ]
+    branches: [ "main", "devel" ]
   pull_request:
     # The branches below must be a subset of the branches above
-    branches: [ "main", "develop" ]
+    branches: [ "main", "devel" ]
   schedule:
     - cron: '39 4 * * 0'
 

diff --git a/.github/workflows/cppcheck.yml b/.github/workflows/cppcheck.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 

diff --git a/.github/workflows/deterministic.yml b/.github/workflows/deterministic.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 

diff --git a/.github/workflows/gcc10.yml b/.github/workflows/gcc10.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 

diff --git a/.github/workflows/gcc11.yml b/.github/workflows/gcc11.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 

diff --git a/.github/workflows/gcc12.yml b/.github/workflows/gcc12.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 

diff --git a/.github/workflows/gcc13.yml b/.github/workflows/gcc13.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 

diff --git a/.github/workflows/gcc14.yml b/.github/workflows/gcc14.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 jobs:

diff --git a/.github/workflows/gcc9.yml b/.github/workflows/gcc9.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 

diff --git a/.github/workflows/mac.yml b/.github/workflows/mac.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 jobs:

diff --git a/.github/workflows/quality.yml b/.github/workflows/quality.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 

diff --git a/.github/workflows/ubuntu-default.yml b/.github/workflows/ubuntu-default.yml
@@ -4,7 +4,7 @@ on:
   push:
     branches:
       - main
-      - develop
+      - devel
   pull_request:
 
 jobs:
-Original file line number
+Diff line change
@@ Expand Up / @@ -4,7 +4,7 @@ on: @@
       push:
         branches:
           - main
-          - develop
+          - devel
       pull_request:
@@ Expand Down @@