Skip to content
GitLab
Explore
Sign in
make resources of workers adjustable
Code
Review changes
Check out branch
Download
Patches
Plain diff
Expand sidebar
make resources of workers adjustable
Philipp S. Sommer
requested to merge
worker-resources
into
main
Nov 02, 2023
Overview
0
Commits
2
Pipelines
1
Changes
2
this MR makes the resources of the workers adjustable via the
resources
option
Merge request reports
Loading