Jörg Thalheim fbd1c3cff4 ci: actually check pull_request merge instead of push		2023-08-08 13:53:08 +02:00
..
check.yaml	ci: actually check pull_request merge instead of push	2023-08-08 13:53:08 +02:00