Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bump pitest-maven from 1.4.6 to 1.4.7 #34

Merged
merged 1 commit into from Mar 29, 2019

Conversation

dependabot-preview[bot]
Copy link
Contributor

Bumps pitest-maven from 1.4.6 to 1.4.7.

Release notes

Sourced from pitest-maven's releases.

1.4.7

  • #545 Faster coverage calculation

Thanks to work by @​jon-bell this release significantly increases the performance of pitest's coverage stage.

Commits
  • 96e3d64 [maven-release-plugin] prepare release pitest-parent-1.4.7
  • 106042d Merge pull request #589 from hcoles/fixazure
  • a18ad40 remove unused code
  • 03fd572 Merge pull request #588 from hcoles/fixazure
  • b652030 add azure badge
  • cd07d2b use install goal and temporarily disable windows
  • d97c7d6 Set up CI with Azure Pipelines [skip ci]
  • dfc57a3 Merge pull request #545 from gmu-swe/coverage-optimization
  • 0ed9eab update readme after 1.46 release
  • 0e19ead [maven-release-plugin] prepare for next development iteration
  • Additional commits viewable in compare view

Dependabot compatibility score

Dependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting @dependabot rebase.


Dependabot commands and options

You can trigger Dependabot actions by commenting on this PR:

  • @dependabot rebase will rebase this PR
  • @dependabot recreate will recreate this PR, overwriting any edits that have been made to it
  • @dependabot merge will merge this PR after your CI passes on it
  • @dependabot squash and merge will squash and merge this PR after your CI passes on it
  • @dependabot cancel merge will cancel a previously requested merge and block automerging
  • @dependabot reopen will reopen this PR if it is closed
  • @dependabot ignore this [patch|minor|major] version will close this PR and stop Dependabot creating any more for this minor/major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this dependency will close this PR and stop Dependabot creating any more for this dependency (unless you reopen the PR or upgrade to it yourself)
  • @dependabot use these labels will set the current labels as the default for future PRs for this repo and language
  • @dependabot use these reviewers will set the current reviewers as the default for future PRs for this repo and language
  • @dependabot use these assignees will set the current assignees as the default for future PRs for this repo and language
  • @dependabot use this milestone will set the current milestone as the default for future PRs for this repo and language
  • @dependabot badge me will comment on this PR with code to add a "Dependabot enabled" badge to your readme

Additionally, you can set the following in your Dependabot dashboard:

  • Update frequency (including time of day and day of week)
  • Automerge options (never/patch/minor, and dev/runtime dependencies)
  • Pull request limits (per update run and/or open at any time)
  • Out-of-range updates (receive only lockfile updates, if desired)
  • Security updates (receive only security updates, if desired)

Finally, you can contact us by mentioning @dependabot.

Bumps [pitest-maven](https://github.com/hcoles/pitest) from 1.4.6 to 1.4.7.
- [Release notes](https://github.com/hcoles/pitest/releases)
- [Commits](hcoles/pitest@pitest-parent-1.4.6...pitest-parent-1.4.7)

Signed-off-by: dependabot[bot] <support@dependabot.com>
@coveralls
Copy link

Coverage Status

Coverage remained the same at 100.0% when pulling c204267 on dependabot/maven/org.pitest-pitest-maven-1.4.7 into 9b9731c on master.

@c-rack c-rack merged commit 944e863 into master Mar 29, 2019
@c-rack c-rack deleted the dependabot/maven/org.pitest-pitest-maven-1.4.7 branch March 29, 2019 04:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants