Merge branch 'master' into develop

omise · Nov 9, 2023 · 1170038 · 1170038
2 parents fa71317 + c85ea53
commit 1170038
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/.github/workflows/main.yml b/.github/workflows/main.yml
@@ -2,9 +2,8 @@ name: CI
 on:
  workflow_dispatch:
  push:
- branches: [ master ]
+ branches: [ master, develop ]
  pull_request:
- branches: [ master ]
  types: [opened, synchronize, reopened]
 
 jobs:
@@ -68,4 +67,4 @@ jobs:
  with: 
  args: >
  -Dsonar.projectVersion=${{ github.run_id }}
- -Dsonar.branch.name=${{ github.ref_name }}
+ -Dsonar.branch.name=${{ github.ref_name }}