Skip to content

make resources of workers adjustable

Philipp S. Sommer requested to merge worker-resources into main

this MR makes the resources of the workers adjustable via the resources option

Merge request reports

A HIFIS Service | Privacy | Imprint | Support | Documentation | Changelog | Status