Merged with cleanup

This commit is contained in:
1redmine 2025-07-01 13:59:28 +02:00
parent 9ff21d929b
commit abf9f43c54

View File

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