Norman Maurer 147ccb6213 Use custom script to check for build failures (#10968) ... Motivation: It turns out we can't use the action to check for build failures as it can't be used when a PR is done from a fork. Let's just use our simple script. Modifications: - Replace action with custom script Result: Builds for PRs that are done via forks work again.		2021-01-27 12:02:24 +01:00
..
check_build_result.sh	Use custom script to check for build failures (#10968)	2021-01-27 12:02:24 +01:00
check_leak.sh	Let script fail if one command fail (#10945)	2021-01-15 16:47:49 +01:00