Separate workflows between PRs and pushes (#3928)

* Separate workflows between PRs and pushes

* Fixup
This commit is contained in:
Alexander Brandes
2023-01-15 14:10:41 +01:00
committed by GitHub
parent 39d2f1a72c
commit c978322036
3 changed files with 29 additions and 5 deletions

View File

@ -1,8 +1,6 @@
name: "CodeQL"
on:
push:
branches: [ v6 ]
pull_request:
# The branches below must be a subset of the branches above
branches: [ v6 ]