KeYProject / key

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

Bump the github-actions-deps group with 2 updates #3502

Closed dependabot[bot] closed 1 month ago

dependabot[bot] commented 1 month ago

Bumps the github-actions-deps group with 2 updates: gradle/actions and JetBrains/qodana-action.

Updates gradle/actions from 3.4.2 to 3.5.0

Release notes

Sourced from gradle/actions's releases.

v3.5.0

This release contains a major upgrade to gradle-home-cache-cleanup as well as improvements to dependency-submission.

What's Changed

  • Include Gradle 8.9 in known wrapper checksums (avoiding the need to download) (#266)
  • Improvements to cache-cleanup
    • Provision latest Gradle version to use for cache-cleanup (#33, #271)
    • Avoid use of timestamp manipulation for cache-cleanup (#24, #272)
    • Cleanup artifact transforms cache in Gradle home (#47)
    • More logging from cache-cleanup operation (#169)
  • Use latest dependency graph plugin (#269)
  • Automatically upload dependency graph file on submission failure (#291)

Full Changelog: https://github.com/gradle/actions/compare/v3.4.2...v3.5.0

Commits
  • d9c87d4 [bot] Update dist directory
  • ff865cb Upload dependency graph on submission failure (#291)
  • c3acd19 Update to Gradle 8.9
  • e5bbd4c [bot] Update dist directory
  • d7cd9fc Bump com.fasterxml.jackson.dataformat:jackson-dataformat-smile
  • 6407986 Update known wrapper checksums (#278)
  • 87bf5ca Update DV plugin versions that were missed by automation
  • 81b4ece Clarify that tags are isolated in cache entries
  • cdbbabd [bot] Update dist directory
  • dad038d Use Gradle 8.8 features for Gradle Home cleanup (#272)
  • Additional commits viewable in compare view


Updates JetBrains/qodana-action from 2024.1.5 to 2024.1.8

Release notes

Sourced from JetBrains/qodana-action's releases.

v2024.1.8

Changelog

  • c141904 :arrow_up: Bump dependencies and node version for Azure
  • c96b39a :arrow_up: Update qodana to v2024.1.8

v2024.1.7

Changelog

  • 4094cb7 :arrow_up: Bump the npm-development group across 1 directory with 6 updates
  • 694e2ff :arrow_up: Update qodana to v2024.1.6
  • 868a9c9 :arrow_up: Bump braces from 3.0.2 to 3.0.3 in /common
  • 237164d :arrow_up: Bump braces from 3.0.2 to 3.0.3
  • 6166f40 :arrow_up: Bump eslint-plugin-github from 4.10.2 to 5.0.1
  • b0acfe6 :arrow_up: Bump azure-pipelines-task-lib from 4.12.0 to 4.13.0
  • a8f1498 :arrow_up: Bump the npm-development group across 1 directory with 5 updates
  • 239ebb4 :arrow_up: Bump azure-pipelines-tasks-utility-common
  • 8960602 :arrow_up: Bump gradle/wrapper-validation-action
  • bd27c07 :arrow_up: Bump ts-jest in the npm-development group
  • d213545 :arrow_up: Bump azure-pipelines-tasks-utility-common
  • 89691fc :arrow_up: Bump gradle/wrapper-validation-action
  • abc870b :arrow_up: Bump @​octokit/rest from 20.1.1 to 21.0.0
  • e995eec :arrow_up: Update qodana to v2024.1.7
  • 30054d0 :bug: Zip results without relying on GitHub API (QD-8962)
  • 9f1eab3 :bug: Zip results without relying on Azure functions (QD-8928)
  • 7e0f596 :bug: Do not spam with quick-fixes PRs (QD-7928)
  • d210d8d :zap: Display analyzed subdirectory if there was any (QD-8271)
  • 9c6ead3 :arrow_up: Bump the npm-development group across 1 directory with 4 updates
Commits
  • c96b39a :arrow_up: Update qodana to v2024.1.8
  • 6e3efa9 :bricks: Use node16 for Azure jobs
  • c141904 :arrow_up: Bump dependencies and node version for Azure
  • 6b043d2 :bricks: Fix CLI downloader when a binary exists
  • 18aa0d7 :bricks: Apply workaround for gradle publications issues
  • 266acac :bricks: Update azure-pipelines.yml
  • 9c6ead3 :arrow_up: Bump the npm-development group across 1 directory with 4 updates
  • d210d8d :zap: Display analyzed subdirectory if there was any (QD-8271)
  • 7e0f596 :bug: Do not spam with quick-fixes PRs (QD-7928)
  • 9f1eab3 :bug: Zip results without relying on Azure functions (QD-8928)
  • 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