Merge branch 'fhennig/type-propagation' into 'backend-rework'
Passed
Frederik Hennig
created pipeline for commit
169e3f8a
, finished
For backend-rework
56 seconds, queued for 3 seconds