Skip to content
Snippets Groups Projects

support putting any enum into FunTuple

Passed
Gerhard Raven created pipeline for commit 528948c0
, finished
Related merge request !973 to merge enum-in-FunTuple
merge request
5 jobs 55 seconds, queued for 0 seconds