Merge branch 'main' of https://github.com/cda-tum/mqt-core · M-J-Hochreiter/mqt-core@1a01248

"pull_request_target.opened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.reopened" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.synchronize" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

"pull_request_target.edited" is not a known webhook name (https://developer.github.com/v3/activity/events/types/)

Provide feedback