polish
Failed
Sylvester Joosten
created pipeline for commit
8d774885
, finished
Related merge request !43 to merge 12-update-rich-data-structures
17 seconds, queued for 3 seconds