Giacomo Vercesi 476cc0b969 pypeline: rework fields in pipeline metadata ...

Rework which information is transmitted in the pipeline metadata,
avoiding redundancy and moving some information there instead of
returning it every time a request is made.

2026-03-25 12:03:34 +01:00

..

revng

pypeline: rework fields in pipeline metadata

2026-03-25 12:03:34 +01:00

scripts

revng: allow execution while in a venv

2026-01-29 14:54:24 +01:00

CMakeLists.txt

pypeline: rework fields in pipeline metadata

2026-03-25 12:03:34 +01:00

wheel-install.sh

python: create python wheels

2023-12-12 14:52:22 +01:00