The durabilityHint symbol is provided by the workflow-job plugin. Do you have that plugin installed?
On Fri, Jul 12, 2019 at 6:04 AM Jan Kosecki <[email protected]> wrote: > Hi, > > I've got a GitHub Organization Project that loads all requested > repositories of the organization and builds them using Jenkinsfiles inside > each repository. > I've read this article https://jenkins.io/blog/2018/02/22/cheetah/ and > I'm tempted to set dev builds to use "PERFORMANCE_OPTIMIZED" and only > release builds to use "MAX_SURVIVABILITY". > I tried to use "options { durabilityHint('PERFORMANCE_OPTIMIZED') }" like > in article but it gets rejected by jenkins. > > Invalid option type "durabilityHint". Valid option types: [ansiColor, > catchError, checkoutToSubdirectory, lock, retry, script, skipDefaultCheckout, > timeout, timestamps, waitUntil, warnError, withAWS, withContext, > withCredentials, withEnv, ws] @ line 94, column 11. > durabilityHint('MAX_SURVIVABILITY') > > > How can I set durability for different builds in GitHub Organization Project? > > -- > You received this message because you are subscribed to the Google Groups > "Jenkins Users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To view this discussion on the web visit > https://groups.google.com/d/msgid/jenkinsci-users/da1bc51c-91b4-4e5f-885a-1396fe1f8e0f%40googlegroups.com > <https://groups.google.com/d/msgid/jenkinsci-users/da1bc51c-91b4-4e5f-885a-1396fe1f8e0f%40googlegroups.com?utm_medium=email&utm_source=footer> > . > For more options, visit https://groups.google.com/d/optout. > -- Thanks! Mark Waite -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/CAO49JtELM1WQF0W4hdKG610d5-_tiC-nvX6A3WdzKUPgp06-%3DA%40mail.gmail.com. For more options, visit https://groups.google.com/d/optout.
