Merge branch 'bauerd/isl' into 'backend-rework'
Passed
Frederik Hennig
created pipeline for commit
205ef895
, finished
For backend-rework
1 minute 24 seconds, queued for 3 seconds