Merge branch 'fhennig/symbolic-language' into 'backend-rework'
Passed
Frederik Hennig
created pipeline for commit
d6621ef9
, finished
For backend-rework
2 minutes 58 seconds, queued for 3 seconds