Merge branch 'fhennig/loop-invariants' into 'backend-rework'
Passed
Frederik Hennig
created pipeline for commit
e3f9ba35
, finished
For backend-rework
1 minute 27 seconds, queued for 4 seconds