Giacomo Vercesi bbff447181 pypeline: split ScheduledTask ...

Due to the drifting differences, split `ScheduledTask` into
`PipeScheduledTask` and `SavepointScheduledTask`, which allows each to
specialize on the task it has to accomplish.

2026-05-22 09:04:35 +02:00

..

revng

pypeline: split ScheduledTask

2026-05-22 09:04:35 +02:00

scripts

revng: allow execution while in a venv

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

CMakeLists.txt

pypeline: notifications a duty of StorageProvider

2026-05-22 09:04:35 +02:00

wheel-install.sh

python: create python wheels

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