Skip to content
Snippets Groups Projects

Optimise every time we do mkTransCo

Failed
Simon Peyton Jones created pipeline for commit ce6e6c6f
, finished
Related merge request !10698 to merge wip/simplifier-tweaks
merge request
33 jobs 16 minutes 42 seconds, queued for 4 seconds