GitHub Actions: Remove listening for pushes to development-v3 branch

The branch does not longer exist and has been merged
This commit is contained in:
Christian Koop 2023-05-07 18:25:34 +02:00
parent a78c2a832e
commit 55d4c7036b
No known key found for this signature in database
GPG Key ID: 89A8181384E010A3
1 changed files with 1 additions and 1 deletions

View File

@ -2,7 +2,7 @@ name: Build
on:
push:
branches: [ master, development, development-v3 ]
branches: [ master, development ]
tags:
- 'v*'
pull_request: