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
..
ci-build.yml	Split pr and normal build (#10884)	2020-12-23 09:32:04 +01:00
ci-deploy.yml	Split pr and normal build (#10884)	2020-12-23 09:32:04 +01:00
ci-pr.yml	Split pr and normal build (#10884)	2020-12-23 09:32:04 +01:00
codeql-analysis.yml	Only use build and deploy workflows for 4.1 for now	2020-12-22 19:30:57 +01:00