Skip to content
Failed

Console Output

Branch indexing
07:41:46 Connecting to https://api.github.com using GitHub bot (username/token)
ERROR: Pull request 4335 : Not mergeable at a147bbaa7b4e572c1a97fc14d357b92493ce4b17+8dcfed4836d26c57ef78be68214d186e9ca78b84 (NOT_MERGEABLE)
Finished: FAILURE