Skip to content
This repository has been archived by the owner on May 3, 2024. It is now read-only.

Bump net.jqwik:jqwik-engine from 1.8.2 to 1.8.4 #5

Merged
merged 1 commit into from
Apr 20, 2024

Conversation

dependabot[bot]
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Apr 19, 2024

Bumps net.jqwik:jqwik-engine from 1.8.2 to 1.8.4.

Release notes

Sourced from net.jqwik:jqwik-engine's releases.

Some Kotlin Care

New and Enhanced Features

  • Kotlin module: Added anyForSubtypeOf<MyInterface>(). Many thanks to jibidus for the contribution!

  • Upgraded to Kotlin 1.9.23

Breaking Changes

No breaking changes

Bug Fixes

  • Fixed bug in Kotlin module that let Java properties fail. See issue 557.

Platform Upgrade and a few Fixes

New and Enhanced Features

  • Upgraded to KotlinX 1.8.0

  • Upgraded to JUnit Platform 1.10.2

  • Upgraded to Kotlin 1.9.22

Breaking Changes

No breaking changes

Bug Fixes

  • Shrinking of strings with uniqueChars() constraint did not work properly. See issue 541.

  • Fixed integer generation bug with uniform distribution. See issue 544:

Commits
  • 45d71c3 Set release version 1.8.4
  • e4409d4 Trying a fix for jqwik-team/jqwik#557
  • a4c462d Bump org.jetbrains.dokka from 1.9.10 to 1.9.20
  • b004141 Bump org.jetbrains.kotlin.jvm from 1.9.22 to 1.9.23
  • 4f75868 Bump io.kotest:kotest-runner-junit5 from 5.8.0 to 5.8.1
  • 20791ac Prepare FEATURE_USAGE_SURVEY.md for using it in Google Forms
  • dbe1f20 Add more features to check in FEATURE_USAGE_SURVEY.md
  • 8e0c759 Started to collect material for feature usage survey.
  • e4eb446 kotlin: Extracted AnyForSubtypeOfTests
  • dd4fded Add missing @​API annotation on anyForSubtypeOf()
  • 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 close will close this PR and stop Dependabot recreating it. You can achieve the same result by closing it manually
  • @dependabot show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore this major version will close this PR and stop Dependabot creating any more for this major version (unless you reopen the PR or upgrade to it yourself)
  • @dependabot ignore this minor version will close this PR and stop Dependabot creating any more for this minor 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)

Bumps [net.jqwik:jqwik-engine](https://github.com/jqwik-team/jqwik) from 1.8.2 to 1.8.4.
- [Release notes](https://github.com/jqwik-team/jqwik/releases)
- [Commits](jqwik-team/jqwik@1.8.2...1.8.4)

---
updated-dependencies:
- dependency-name: net.jqwik:jqwik-engine
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added dependencies Pull requests that update a dependency file java Pull requests that update Java code labels Apr 19, 2024
@io7m io7m merged commit 46dd28c into develop Apr 20, 2024
4 checks passed
@dependabot dependabot bot deleted the dependabot/maven/develop/net.jqwik-jqwik-engine-1.8.4 branch April 20, 2024 10:02
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
dependencies Pull requests that update a dependency file java Pull requests that update Java code
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

1 participant