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

@@ 965-970 (lines=6) @@
962
                case WorkflowEntryInterface::CREATED: {
963
                    $result = false;
964
                }
965
                case WorkflowEntryInterface::ACTIVATED: {
966
                    if (WorkflowEntryInterface::CREATED === $currentState || WorkflowEntryInterface::SUSPENDED === $currentState) {
967
                        $result = true;
968
                    }
969
                    break;
970
                }
971
                case WorkflowEntryInterface::SUSPENDED: {
972
                    if (WorkflowEntryInterface::ACTIVATED === $currentState) {
973
                        $result = true;
@@ 977-982 (lines=6) @@
974
                    }
975
                    break;
976
                }
977
                case WorkflowEntryInterface::KILLED: {
978
                    if (WorkflowEntryInterface::CREATED === $currentState || WorkflowEntryInterface::ACTIVATED === $currentState || WorkflowEntryInterface::SUSPENDED === $currentState) {
979
                        $result = true;
980
                    }
981
                    break;
982
                }
983
                default: {
984
                    $result = false;
985
                    break;