CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
cf6aa554
, finished
Related merge request !573 to merge robbert/foldr_cons_permute
2 minutes 52 seconds, queued for 1 seconds