Skip to content
Failed

Console Output

Branch indexing
07:41:54 Connecting to https://api.github.com using GitHub bot (username/token)
ERROR: Pull request 4310 : Not mergeable at 237698767df2e5155cfa0a02d1f8f24d5ae69764+4c10f2995a98f1576e09d52c95f58f57f0336438 (NOT_MERGEABLE)
Finished: FAILURE