Pietro Fezzardi 6a3ab92a9d Mark to-be-dropped pipeline names as legacy ...

Several components in both pipeline YAMLs are slated for removal.
Prepend a legacy prefix to their names, and to the matching c++ code, so
they are clearly distinguished from the new Clift-based pipeline until
they are dropped.

2026-06-15 17:28:22 +02:00

..

revng

Mark to-be-dropped pipeline names as legacy

2026-06-15 17:28:22 +02:00