Giacomo Vercesi a94c6a2636 pipebox: use native runners ...

When running in debug mode, use the native runners where possible.

2026-02-16 10:34:38 +01:00

..

revng

pipebox: use native runners

2026-02-16 10:34:38 +01:00

scripts

revng: allow execution while in a venv

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

CMakeLists.txt

revng2: implement wrappers

2026-02-16 10:34:38 +01:00

wheel-install.sh

python: create python wheels

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