Giacomo Vercesi 8f2d0191d7 Pipe: add needed_files functions ...

In preparation for debugging individual pipes add an additional method
to the `Pipe` interface, `needed_files`, which allows the pipe to
statically report which files it will request ahead of time.

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

..

__init__.py

Pypeline: merge pypeline

2025-09-10 12:05:15 +02:00

pipe.py

Pipe: add needed_files functions

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

requests.py

pypeline: fix Request.check

2025-12-10 15:05:53 +01:00

savepoint.py

Savepoint: optimize run function

2025-11-17 10:04:13 +01:00

task.py

pypeline: give better names to some attributes

2025-12-19 10:26:49 +01:00