GitHub CI: document hardcoded list of branches

This commit is contained in:
Klaas van Schelven
2025-07-30 11:42:40 +02:00
parent 2fede39985
commit 0d59f96b41

View File

@@ -7,6 +7,7 @@ name: Continuous Integration
on:
push:
# hardcoded list; GitHub does not support wildcards in branch names AFAICT
branches: [ "main", "1.4.x", "1.5.x", "1.6.x", "1.7.x", "1.8.x", "1.9.x", "1.10.x", "1.11.x" ]
pull_request:
branches: [ "main" ]