Giacomo Vercesi a904f356a4 pypeline-daemon: clean up websocket code ...

Clean up the code related to the handling of websockets and allow the
daemon to be terminated gracefully without any error messages.

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

..

revng

pypeline-daemon: clean up websocket code

2026-03-31 17:00:49 +02: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-31 17:00:48 +02:00

wheel-install.sh

python: create python wheels

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