Norman Maurer 9da336f2fc Split pr and normal build (#10884) ... Motivation: We should better use seperate workflows for PR and normal builds Modifications: - Split workflows - Better cache reuse Result: Cleanup		2020-12-23 09:32:04 +01:00
..
check_leak.sh	Split pr and normal build (#10884)	2020-12-23 09:32:04 +01:00