Skip to content
Snippets Groups Projects

Rename functors

Passed
Tommaso Fulghesu created pipeline for commit 473f846a
, finished
Related merge request !3441 to merge tfulghes-cone-isolation
merge request
4 jobs 28 seconds, queued for 1 seconds