Wrong branch's name

This commit is contained in:
1redmine 2025-07-03 14:17:02 +02:00
parent 90a221aeed
commit 1d5a89b65b

View File

@ -20,9 +20,9 @@
name: "GitHub CI"
on:
push:
branches: ["develop"]
branches: ["devel"]
pull_request:
branches: ["develop"]
branches: ["devel"]
jobs:
plugin_tests:
strategy: