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

@@ 947-952 (lines=6) @@
944
                case WorkflowEntryInterface::CREATED: {
945
                    $result = false;
946
                }
947
                case WorkflowEntryInterface::ACTIVATED: {
948
                    if (WorkflowEntryInterface::CREATED === $currentState || WorkflowEntryInterface::SUSPENDED === $currentState) {
949
                        $result = true;
950
                    }
951
                    break;
952
                }
953
                case WorkflowEntryInterface::SUSPENDED: {
954
                    if (WorkflowEntryInterface::ACTIVATED === $currentState) {
955
                        $result = true;
@@ 959-964 (lines=6) @@
956
                    }
957
                    break;
958
                }
959
                case WorkflowEntryInterface::KILLED: {
960
                    if (WorkflowEntryInterface::CREATED === $currentState || WorkflowEntryInterface::ACTIVATED === $currentState || WorkflowEntryInterface::SUSPENDED === $currentState) {
961
                        $result = true;
962
                    }
963
                    break;
964
                }
965
                default: {
966
                    $result = false;
967
                    break;