Skip to content

Introduce scaffolding for the new configure_on_server Task method (#508)

Enrico Zini requested to merge configure-on-server into devel

This is a first step towards the configure_on_server implementation, hooking the new API into the scheduler.

My plan is to get this as a pure refactoring step, and later extend it and the TaskDatabase class according to the rest of the plan

Merge request reports

Loading