Merge branch 'master' into develop

Perry Werneck
2 parents 91486a5d b4947287
Showing 1 changed file with 2 additions and 2 deletions Show diff stats
.github/workflows/codeql.yml
@@ -3,10 +3,10 @@ name: CodeQL
 on:
   push:
     branches:
-      - master
+      [ develop ]
   pull_request:
     branches:
-      - master
+      [ master, develop ]
   schedule:
     - cron: 48 7 * * 1
 jobs:
	@@ -3,10 +3,10 @@ name: CodeQL		@@ -3,10 +3,10 @@ name: CodeQL
3	on:	3	on:
4	push:	4	push:
5	branches:	5	branches:
6	- - master	6	+ [ develop ]
7	pull_request:	7	pull_request:
8	branches:	8	branches:
9	- - master	9	+ [ master, develop ]
10	schedule:	10	schedule:
11	- cron: 48 7 * * 1	11	- cron: 48 7 * * 1
12	jobs:	12	jobs: