CHANGELOG.
Passed
Robbert Krebbers
created pipeline for commit
3c228d84
, finished
Related merge request !458 to merge herman/vec_finite
4 minutes 49 seconds, queued for 2 seconds