"git@i10git.cs.fau.de:pycodegen/pystencils.git" did not exist on "5ad56d0484fbdc2c240d67a69d6955447a7b41c2"
Merge branch 'bauerd/peel-loop-back' into 'backend-rework'
Passed
Frederik Hennig
created pipeline for commit
be07c320
, finished
For backend-rework
3 minutes 32 seconds, queued for 3 seconds