After merging github-actions, add it as a required check for merging to master

[Fastjur]

https://github.com/WISVCH/dienst2/settings/branch_protection_rules/1519

Once #284 is merged

[praseodym]

Done