GitHub Access Token became invalid

It seems like the GitHub access token used for retrieving details about this repository from GitHub became invalid. This might prevent certain types of inspections from being run (in particular, everything related to pull requests).
Please ask an admin of your repository to re-new the access token on this website.

Code Duplication    Length = 6-6 lines in 2 locations

src/AbstractWorkflow.php 2 locations

@@ 1003-1008 (lines=6) @@
1000
                case WorkflowEntryInterface::CREATED: {
1001
                    $result = false;
1002
                }
1003
                case WorkflowEntryInterface::ACTIVATED: {
1004
                    if (WorkflowEntryInterface::CREATED === $currentState || WorkflowEntryInterface::SUSPENDED === $currentState) {
1005
                        $result = true;
1006
                    }
1007
                    break;
1008
                }
1009
                case WorkflowEntryInterface::SUSPENDED: {
1010
                    if (WorkflowEntryInterface::ACTIVATED === $currentState) {
1011
                        $result = true;
@@ 1015-1020 (lines=6) @@
1012
                    }
1013
                    break;
1014
                }
1015
                case WorkflowEntryInterface::KILLED: {
1016
                    if (WorkflowEntryInterface::CREATED === $currentState || WorkflowEntryInterface::ACTIVATED === $currentState || WorkflowEntryInterface::SUSPENDED === $currentState) {
1017
                        $result = true;
1018
                    }
1019
                    break;
1020
                }
1021
                default: {
1022
                    $result = false;
1023
                    break;