diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2023-08-16 17:11:03 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-16 17:11:03 +0200 |
| commit | db3bf180a569cb20db42c5e4669d2277be6f46b6 (patch) | |
| tree | 82b3e60e4479532d24f6da1e45cd644d0b2df48e /src | |
| parent | 7f8c99c70c96bf3685e5cad73b38ede801079177 (diff) | |
| parent | d8079ee3503b487af0769ad53398171e617869da (diff) | |
Merge pull request #8833 from hercules-ci/jobcategory-doc
Document jobCategory()
Diffstat (limited to 'src')
| -rw-r--r-- | src/libstore/build/goal.hh | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/libstore/build/goal.hh b/src/libstore/build/goal.hh index a313bf22c..d3127caea 100644 --- a/src/libstore/build/goal.hh +++ b/src/libstore/build/goal.hh @@ -162,6 +162,10 @@ public: virtual void cleanup() { } + /** + * @brief Hint for the scheduler, which concurrency limit applies. + * @see JobCategory + */ virtual JobCategory jobCategory() = 0; }; |