Regex is not in the list of search functions , and it was included (more or less, as a function of better message search (for example, wildcard and partial word search)) a list of pre-programmed function requests , so the answer is: βyou cannot do this via the web Gmail ": (
There are no current Labs features that offer this. SIEVE filters would be another way to do this, so it was not supported , it seems that there will no longer be any final SIEVE support statement in Gmail help.
Updated for the rot link. The pre-configured list of feature requests was, er isned, the original is on archive.org from 2012, now you just get redirected to a foggy page telling you how to give feedback. The lack of support for SIEVE was addressed in answer 78761 Does Gmail support all IMAP functions ?, because for some time in 2015, which responds quietly and redirects the client configuration to the IMAP response, the .org archive has a copy from 2014.
In the case when the current brackets are used for grouping to search for any form () {} [] , they do not have an observed effect, if only one member is inside. Using (aaa|bbb) and [aaa|bbb] equivalent and will find the words aaa or bbb . Most other punctuation characters, including \ , are treated as a space or word separator, + - : and " have special meanings, but see help .
You can search for regular expressions on your inbox (within limits) programmatically through Google docs: http://www.labnol.org/internet/advanced-gmail-search/21623/ contains a source showing how this can be done ( copy the document, then Tools > Script Editor to get the full source).
You can also do this through IMAP, as described here: Python IMAP search for partial threads and script something to move messages to another folder. The IMAP SEARCH verb only supports substrings, not regular expressions (Gmail searches are further limited to full words, not substrings), additional match processing is required to apply the regular expression.
For completeness, one last workaround: Gmail supports plus addressing, if you can change the destination address to youraddress+jenkinsrelease@gmail.com , it will still be sent to your inbox, where you can filter by the recipient's address. Remember to filter using your full email address to:youraddress+jenkinsrelease@gmail.com . This, of course, is more or less the same as setting up a dedicated Gmail address for this purpose :-)