ci: update branch names

This commit is contained in:
Martin Bubel 2023-12-19 11:13:31 +01:00
parent 5d61ebae6b
commit 0ef7f741b1

View file

@ -3,7 +3,7 @@ on:
push:
branches:
- main
- develop
- devel
pull_request:
permissions: