Giacomo Vercesi e9c9a7ef69 pypeline: add additional artifact PTML metadata ...

Add two additional fields to `Artifact`: `defined_locations` and
`preferred_artifacts`. These are pieces of metadata that allow
navigation between multiple PTML-enabled documents.

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

..

revng

pypeline: add additional artifact PTML 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-daemon: rework error propagation

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

wheel-install.sh

python: create python wheels

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