Push CI was broken due to mismatched and missing filters in the CI yml for the workflows. This fixes the issue with hopefully minimal effort.
Instructions for review / testing
Checked here, albeit with a minor change to use the feature branch as the on: push filter. Unfortunately in this PR we can only test it after we merged it.
Developer checklist (address before review)
[ ] Changelog.md updated
[ ] Prepared update for depending repositories
[ ] Documentation updated (public API changes only)
[ ] API docstrings updated (public API changes only)
DONT MERGE: DEPENDS ON https://github.com/vectorgrp/sil-kit/pull/39UPDATE: Rebased on main instead of PR #39 . Can be merged nowDescription
Push CI was broken due to mismatched and missing filters in the CI yml for the workflows. This fixes the issue with hopefully minimal effort.
Instructions for review / testing
Checked here, albeit with a minor change to use the feature branch as the
on: pushfilter. Unfortunately in this PR we can only test it after we merged it.Developer checklist (address before review)