Giacomo Vercesi a13cffab19 pypeline: rename pipeline metadata schema file ...

Rename the schema that describes the metadata of the pipeline from
`web_schema.yml` to `pipeline-description-schema.yml`.

2026-03-31 17:00:48 +02:00

..

revng

pypeline: rename pipeline metadata schema file

2026-03-31 17:00:48 +02:00

scripts

revng: allow execution while in a venv

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

CMakeLists.txt

pypeline: rename pipeline metadata schema file

2026-03-31 17:00:48 +02:00

wheel-install.sh

python: create python wheels

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