Page MenuHomePhabricator

Analyzer
ActivePublic

Details

Rule Type
Personal
Author
mikhail.ramalho
Applies To
Differential Revisions

Description

When any of these conditions are met:

Revision title contains [analyzer]
Revision title contains Z3
Revision title contains SMT

Take these actions every time this rule matches:

Add rule author as subscriber.