search

KeYProject / key

KeY Theorem Prover for Deductive Java Verification
https://key-project.org
Other
44 stars 24 forks source link

Bump the github-actions-deps group with 4 updates #3474

Closed dependabot[bot] closed 4 months ago

dependabot[bot] commented 4 months ago

Bumps the github-actions-deps group with 4 updates: actions/checkout, actions/setup-java, gradle/gradle-build-action and JetBrains/qodana-action.

Updates actions/checkout from 3 to 4

Release notes

Sourced from actions/checkout's releases.

v4.0.0

What's Changed

New Contributors

Full Changelog: https://github.com/actions/checkout/compare/v3...v4.0.0

v3.6.0

What's Changed

New Contributors

Full Changelog: https://github.com/actions/checkout/compare/v3.5.3...v3.6.0

v3.5.3

What's Changed

New Contributors

Full Changelog: https://github.com/actions/checkout/compare/v3...v3.5.3

v3.5.2

What's Changed

Full Changelog: https://github.com/actions/checkout/compare/v3.5.1...v3.5.2

v3.5.1

What's Changed

New Contributors

... (truncated)

Changelog

Sourced from actions/checkout's changelog.

Changelog

v4.1.6

v4.1.5

v4.1.4

v4.1.3

v4.1.2

v4.1.1

v4.1.0

v4.0.0

v3.6.0

v3.5.3

v3.5.2

v3.5.1

... (truncated)

Commits


Updates actions/setup-java from 3 to 4

Release notes

Sourced from actions/setup-java's releases.

v4.0.0

What's Changed

In the scope of this release, the version of the Node.js runtime was updated to 20. The majority of dependencies were updated to the latest versions. From now on, the code for the setup-java will run on Node.js 20 instead of Node.js 16.

Breaking changes

Non-breaking changes

New Contributors

Full Changelog: https://github.com/actions/setup-java/compare/v3...v4.0.0

v3.13.0

What's changed

In the scope of this release, support for Dragonwell JDK was added by @​Accelerator1996 in actions/setup-java#532

steps:
 - name: Checkout
   uses: actions/checkout@v3
 - name: Setup-java
   uses: actions/setup-java@v3
   with:
     distribution: 'dragonwell'
     java-version: '17'

Several inaccuracies were also fixed:

New Contributors

Full Changelog: https://github.com/actions/setup-java/compare/v3...v3.13.0

v3.12.0

... (truncated)

Commits


Updates gradle/gradle-build-action from 2.4.2 to 3.3.2

Release notes

Sourced from gradle/gradle-build-action's releases.

v3.3.2

[!IMPORTANT] As of v3 this action has been superceded by gradle/actions/setup-gradle. Any workflow that uses gradle/gradle-build-action@v3 will transparently delegate to gradle/actions/setup-gradle@v3.

Users are encouraged to update their workflows, replacing:

uses: gradle/gradle-build-action@v3

with

uses: gradle/actions/setup-gradle@v3

See the setup-gradle documentation for up-to-date documentation for gradle/actions/setup-gradle.

For release details, see https://github.com/gradle/actions/releases/tag/v3.3.2

v3.3.1

[!IMPORTANT] As of v3 this action has been superceded by gradle/actions/setup-gradle. Any workflow that uses gradle/gradle-build-action@v3 will transparently delegate to gradle/actions/setup-gradle@v3.

Users are encouraged to update their workflows, replacing:

uses: gradle/gradle-build-action@v3

with

uses: gradle/actions/setup-gradle@v3

See the setup-gradle documentation for up-to-date documentation for gradle/actions/setup-gradle.

For release details, see https://github.com/gradle/actions/releases/tag/v3.3.1

v3.3.0

[!IMPORTANT] As of v3 this action has been superceded by gradle/actions/setup-gradle. Any workflow that uses gradle/gradle-build-action@v3 will transparently delegate to gradle/actions/setup-gradle@v3.

Users are encouraged to update their workflows, replacing:

uses: gradle/gradle-build-action@v3

with

... (truncated)

Commits
  • 4c39dd8 Bump to v3.3.2
  • e2097cc Bump to use v3.3.1
  • 8baac4c Map setup-gradle outputs back to gradle-build-action
  • 595fa85 Run quick-check on main
  • f02f491 Update action.yml for setup-gradle@v3.3.0
  • cb6e43f Emit correct deprecation warnings in setup-gradle
  • bdf99f9 Update action.yml for v3.2.1
  • fe59895 Disable dependabot for this repo
  • 928891f Update action.yml for v3.2.0
  • 942d5e1 Bump Gradle Wrapper from 8.6 to 8.7 in /.github/workflow-samples
  • Additional commits viewable in compare view


Updates JetBrains/qodana-action from 2023.3.2 to 2024.1.5

Release notes

Sourced from JetBrains/qodana-action's releases.

v2024.1.5

Changelog

  • b78548c :bricks: Set up more tests
  • 24381a6 :arrow_up: Bump the npm-development group with 2 updates
  • 3c1919b :bricks: Include more options into test matrix
  • 85272e3 :bricks: Add clang integration tests
  • eeccdb2 :arrow_up: Update qodana to v2024.1.5

v2024.1.4

Changelog

  • ba18ada :bug: Fix invalid branch names
  • 132167b :arrow_up: Bump eslint-plugin-jest in the npm-development group
  • 03c90b2 :arrow_up: Bump the npm-production group with 2 updates
  • 0e6bc1d :arrow_up: Update qodana to v2024.1.4

v2024.1.3

Changelog

  • 2249826 :arrow_up: Update qodana to v2024.1.3
  • 3346d1b :arrow_up: Bump azure-pipelines-task-lib from 4.11.0 to 4.12.0
  • 348e594 :arrow_up: Bump @​octokit/types from 13.4.1 to 13.5.0
  • 469f04d :arrow_up: Bump the npm-production group with 2 updates

v2024.1.2

Changelog

  • e185f83 :bug: Update artifact upload pattern
  • 5faa8fe :bug: Fix dependency summary
  • 2dbc410 :arrow_up: Update qodana to v2024.1.2

v2024.1.1

Changelog

  • caaec8a :arrow_up: Bump the dependencies group with 7 updates
  • 28b4ee5 :bricks: Update release workflows
  • bb446e7 :bricks: Update gradle properties
  • 92c7009 :arrow_up: Bump the dependencies group with 2 updates
  • 3e525c9 :arrow_up: Bump gradle/wrapper-validation-action
  • ee19938 :arrow_up: Bump the dependencies group with 10 updates
  • d9d3d01 :bricks: Fix CLI updater script
  • 5240dc8 :arrow_up: Bump gradle/wrapper-validation-action
  • 3925fa7 :lock: Prevent second order command injection prevention (CWE-88, CWE-78)
  • 12749d0 :arrow_up: Update qodana to v2024.1.1
  • efcec05 :arrow_up: Bump the dependencies group with 7 updates
  • 03d9f05 :recycle: Apply Qodana suggestions
  • f0a644c :children_crossing: Fix view report message
  • ccc2f78 :bricks: Update Qodana configuration
  • 38a023c :bug: Support --config in the action
  • 23aa837 :bricks: Update Azure configuration
  • a4f50a6 :memo: Update Azure icon
Commits
  • 32840fd Merge pull request #310 from JetBrains/next
  • eeccdb2 :arrow_up: Update qodana to v2024.1.5
  • 85272e3 :bricks: Add clang integration tests
  • 3c1919b :bricks: Include more options into test matrix
  • 24381a6 :arrow_up: Bump the npm-development group with 2 updates
  • b78548c :bricks: Set up more tests
  • 0e6bc1d :arrow_up: Update qodana to v2024.1.4
  • 03c90b2 :arrow_up: Bump the npm-production group with 2 updates
  • 132167b :arrow_up: Bump eslint-plugin-jest in the npm-development group
  • ba18ada :bug: Fix invalid branch names
  • Additional commits viewable in compare view


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 ignore conditions` will show all of the ignore conditions of the specified dependency - `@dependabot ignore major version` will close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself) - `@dependabot ignore minor version` will close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself) - `@dependabot ignore ` will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself) - `@dependabot unignore ` will remove all of the ignore conditions of the specified dependency - `@dependabot unignore ` will remove the ignore condition of the specified dependency and ignore conditions