Skip to content
Snippets Groups Projects

apply Polyester.@batch to cons2prim loops

Passed
Florian Atteneder created pipeline for commit dd281e76
, finished
Related merge request !166 to merge fa/polyester
merge request
2 jobs 11 minutes 26 seconds, queued for 3 seconds