Eric Coissac 9f1df96ea7 ci: restrict push trigger to main branch ...

Replace the wildcard `['**']` in the push trigger with `['main']`. This prevents redundant pipeline runs on non-main branches during push events.

2026-06-22 16:58:44 +02:00

..

workflows

ci: restrict push trigger to main branch

2026-06-22 16:58:44 +02:00