Skip to content

Bump de.darmstadt.tu.crossing.CrySL:CrySLParser from 4.0.0 to 4.0.1#805

Merged
smeyer198 merged 16 commits intofix/refactor-implicationsfrom
dependabot/maven/de.darmstadt.tu.crossing.CrySL-CrySLParser-4.0.1
Feb 4, 2025
Merged

Bump de.darmstadt.tu.crossing.CrySL:CrySLParser from 4.0.0 to 4.0.1#805
smeyer198 merged 16 commits intofix/refactor-implicationsfrom
dependabot/maven/de.darmstadt.tu.crossing.CrySL-CrySLParser-4.0.1

Conversation

@dependabot
Copy link
Contributor

@dependabot dependabot bot commented on behalf of github Feb 3, 2025

Bumps de.darmstadt.tu.crossing.CrySL:CrySLParser from 4.0.0 to 4.0.1.

Release notes

Sourced from de.darmstadt.tu.crossing.CrySL:CrySLParser's releases.

4.0.1

Release Notes:

Commits
  • 592cf7b Merge pull request #136 from CROSSINGTUD/version_4.0.1
  • a114fa9 Merge pull request #140 from CROSSINGTUD/dependabot/maven/com.diffplug.spotle...
  • 5918742 Merge pull request #138 from CROSSINGTUD/dependabot/maven/com.google.guava-gu...
  • 25a5c6d Merge pull request #139 from CROSSINGTUD/fix/predicates
  • 09521ef Use new tag for style checks
  • 9fcd2f4 Bump com.diffplug.spotless:spotless-maven-plugin from 2.43.0 to 2.44.1
  • 2ebc859 Split constraints from the CONSTRAINTS section and predicates from the REQUIR...
  • 05782a5 Bump com.google.guava:guava from 33.3.1-jre to 33.4.0-jre
  • 8ca2c86 Merge pull request #137 from CROSSINGTUD/dependabot/maven/org.apache.maven.pl...
  • b179fd2 Bump org.apache.maven.plugins:maven-javadoc-plugin from 3.11.1 to 3.11.2
  • 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)

dependabot bot and others added 16 commits December 23, 2024 04:49
Bumps [com.google.guava:guava](https://github.com/google/guava) from 33.3.1-jre to 33.4.0-jre.
- [Release notes](https://github.com/google/guava/releases)
- [Commits](https://github.com/google/guava/commits)

---
updated-dependencies:
- dependency-name: com.google.guava:guava
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [com.google.crypto.tink:tink](https://github.com/tink-crypto/tink-java) from 1.15.0 to 1.16.0.
- [Release notes](https://github.com/tink-crypto/tink-java/releases)
- [Commits](tink-crypto/tink-java@v1.15.0...v1.16.0)

---
updated-dependencies:
- dependency-name: com.google.crypto.tink:tink
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [com.diffplug.spotless:spotless-maven-plugin](https://github.com/diffplug/spotless) from 2.43.0 to 2.44.1.
- [Release notes](https://github.com/diffplug/spotless/releases)
- [Changelog](https://github.com/diffplug/spotless/blob/main/CHANGES.md)
- [Commits](diffplug/spotless@lib/2.43.0...maven/2.44.1)

---
updated-dependencies:
- dependency-name: com.diffplug.spotless:spotless-maven-plugin
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [org.json:json](https://github.com/douglascrockford/JSON-java) from 20240303 to 20250107.
- [Release notes](https://github.com/douglascrockford/JSON-java/releases)
- [Changelog](https://github.com/stleary/JSON-java/blob/master/docs/RELEASES.md)
- [Commits](https://github.com/douglascrockford/JSON-java/commits)

---
updated-dependencies:
- dependency-name: org.json:json
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [org.bouncycastle:bctls-jdk18on](https://github.com/bcgit/bc-java) from 1.79 to 1.80.
- [Changelog](https://github.com/bcgit/bc-java/blob/main/docs/releasenotes.html)
- [Commits](https://github.com/bcgit/bc-java/commits)

---
updated-dependencies:
- dependency-name: org.bouncycastle:bctls-jdk18on
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Bumps [org.bouncycastle:bcprov-jdk18on](https://github.com/bcgit/bc-java) from 1.79 to 1.80.
- [Changelog](https://github.com/bcgit/bc-java/blob/main/docs/releasenotes.html)
- [Commits](https://github.com/bcgit/bc-java/commits)

---
updated-dependencies:
- dependency-name: org.bouncycastle:bcprov-jdk18on
  dependency-type: direct:production
  update-type: version-update:semver-minor
...

Signed-off-by: dependabot[bot] <support@github.com>
Fix job that creates releases on GitHub
…astle-bcprov-jdk18on-1.80

Bump org.bouncycastle:bcprov-jdk18on from 1.79 to 1.80
…astle-bctls-jdk18on-1.80

Bump org.bouncycastle:bctls-jdk18on from 1.79 to 1.80
…on-20250107

Bump org.json:json from 20240303 to 20250107
…g.spotless-spotless-maven-plugin-2.44.1

Bump com.diffplug.spotless:spotless-maven-plugin from 2.43.0 to 2.44.1
…crypto.tink-tink-1.16.0

Bump com.google.crypto.tink:tink from 1.15.0 to 1.16.0
…guava-guava-33.4.0-jre

Bump com.google.guava:guava from 33.3.1-jre to 33.4.0-jre
Bumps [de.darmstadt.tu.crossing.CrySL:CrySLParser](https://github.com/CROSSINGTUD/CryptSL) from 4.0.0 to 4.0.1.
- [Release notes](https://github.com/CROSSINGTUD/CryptSL/releases)
- [Commits](CROSSINGTUD/CryptSL@4.0.0...4.0.1)

---
updated-dependencies:
- dependency-name: de.darmstadt.tu.crossing.CrySL:CrySLParser
  dependency-type: direct:production
  update-type: version-update:semver-patch
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot bot added the dependencies Pull requests that update a dependency file label Feb 3, 2025
@smeyer198 smeyer198 changed the base branch from develop to fix/refactor-implications February 4, 2025 11:10
@smeyer198 smeyer198 merged commit e7ba3f7 into fix/refactor-implications Feb 4, 2025
3 of 6 checks passed
@smeyer198 smeyer198 deleted the dependabot/maven/de.darmstadt.tu.crossing.CrySL-CrySLParser-4.0.1 branch February 4, 2025 11:10
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants