Jörg Thalheim fbd1c3cff4 ci: actually check pull_request merge instead of push

2023-08-08 13:53:08 +02:00

..

workflows

ci: actually check pull_request merge instead of push

2023-08-08 13:53:08 +02:00