Skip to content

Switch PHPCPD to tool#5240

Merged
MGatner merged 1 commit intodevelopfrom
phpcpd-tool
Oct 25, 2021
Merged

Switch PHPCPD to tool#5240
MGatner merged 1 commit intodevelopfrom
phpcpd-tool

Conversation

@MGatner
Copy link
Copy Markdown
Member

@MGatner MGatner commented Oct 25, 2021

Description
shivammathur/setup-php supports a number of tools natively that saves needing to mess with Phive and importing keys ourselves. This PR switched the phpcpd workflow to use the version available from tools.

Checklist:

  • Securely signed commits
  • Component(s) with PHPDoc blocks, only if necessary or adds value
  • Unit testing, with >80% coverage
  • User guide updated
  • Conforms to style guide

@MGatner MGatner merged commit 5c82c43 into develop Oct 25, 2021
@MGatner MGatner deleted the phpcpd-tool branch October 25, 2021 17:04
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants