KeYProject / key

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

Bump the github-actions-deps group with 11 updates #3464

Closed dependabot[bot] closed 1 month ago

dependabot[bot] commented 2 months ago

Bumps the github-actions-deps group with 11 updates:

Package From To
actions/github-script 6 7
peter-evans/find-comment 2 3
peter-evans/create-or-update-comment 2 4
actions/checkout 3 4
JetBrains/qodana-action 2022.3.0 2023.3.2
github/codeql-action 2 3
actions/setup-java 3 4
gradle/gradle-build-action 2 3
actions/upload-artifact 2 4
codecov/codecov-action 3 4
actions/cache 3 4

Updates actions/github-script from 6 to 7

Release notes

Sourced from actions/github-script's releases.

v7.0.0

What's Changed

New Contributors

Full Changelog: https://github.com/actions/github-script/compare/v6.4.1...v7.0.0

v6.4.1

What's Changed

New Contributors

Full Changelog: https://github.com/actions/github-script/compare/v6.4.0...v6.4.1

v6.4.0

What's Changed

New Contributors

Full Changelog: https://github.com/actions/github-script/compare/v6.3.3...v6.4.0

v6.3.3

What's Changed

New Contributors

Full Changelog: https://github.com/actions/github-script/compare/v6.3.2...v6.3.3

v6.3.2

What's Changed

... (truncated)

Commits
  • 60a0d83 Merge pull request #440 from actions/joshmgross/v7.0.1
  • b7fb200 Update version to 7.0.1
  • 12e22ed Merge pull request #439 from actions/joshmgross/avoid-setting-base-url
  • d319f8f Avoid setting baseUrl to undefined when input is not provided
  • e69ef54 Merge pull request #425 from actions/joshmgross/node-20
  • ee0914b Update licenses
  • d6fc56f Use @types/node for Node 20
  • 384d6cf Fix quotations in tests
  • 8472492 Only validate GraphQL previews
  • 84903f5 Remove node-fetch from type
  • Additional commits viewable in compare view


Updates peter-evans/find-comment from 2 to 3

Release notes

Sourced from peter-evans/find-comment's releases.

Find Comment v3.0.0

⚙️ Updated runtime to Node.js 20

  • The action now requires a minimum version of v2.308.0 for the Actions runner. Update self-hosted runners to v2.308.0 or later to ensure compatibility.

What's Changed

... (truncated)

Commits
  • 3eae4d3 feat: add the node_id to the available output (#299)
  • 82ff6db build(deps-dev): bump @​types/node from 18.19.26 to 18.19.28 (#300)
  • 12c311c build(deps-dev): bump @​types/node from 18.19.24 to 18.19.26 (#298)
  • 7ec5a30 build(deps-dev): bump @​types/node from 18.19.22 to 18.19.24 (#297)
  • caddf81 build(deps-dev): bump @​types/node from 18.19.21 to 18.19.22 (#295)
  • ab44313 build(deps-dev): bump eslint-plugin-github from 4.10.1 to 4.10.2 (#294)
  • 0470bb8 build(deps-dev): bump @​types/node from 18.19.18 to 18.19.21 (#293)
  • b5a4628 build(deps-dev): bump @​types/node from 18.19.17 to 18.19.18 (#292)
  • 8186d8a build(deps-dev): bump eslint from 8.56.0 to 8.57.0 (#291)
  • 99388f0 build(deps-dev): bump @​types/node from 18.19.15 to 18.19.17 (#290)
  • Additional commits viewable in compare view


Updates peter-evans/create-or-update-comment from 2 to 4

Release notes

Sourced from peter-evans/create-or-update-comment's releases.

Create or Update Comment v4.0.0

⚙️ Updated runtime to Node.js 20

  • The action now requires a minimum version of v2.308.0 for the Actions runner. Update self-hosted runners to v2.308.0 or later to ensure compatibility.

What's Changed

Full Changelog: https://github.com/peter-evans/create-or-update-comment/compare/v3.1.0...v4.0.0

Create or Update Comment v3.1.0

What's Changed

Full Changelog: https://github.com/peter-evans/create-or-update-comment/compare/v3.0.2...v3.1.0

Create or Update Comment v3.0.2

What's Changed

... (truncated)

Commits
  • 71345be feat: update runtime to node 20 (#306)
  • d41bfe3 build(deps-dev): bump prettier from 3.2.3 to 3.2.4 (#305)
  • 73b4b9e build(deps-dev): bump @​types/node from 18.19.7 to 18.19.8 (#304)
  • b865fac build(deps-dev): bump @​types/node from 18.19.6 to 18.19.7 (#303)
  • 52b668a build(deps-dev): bump eslint-plugin-jest from 27.6.1 to 27.6.3 (#302)
  • 974f56a build(deps-dev): bump prettier from 3.1.1 to 3.2.3 (#301)
  • 2cbfe8b build(deps-dev): bump @​types/node from 18.19.4 to 18.19.6 (#300)
  • 761872a build(deps-dev): bump eslint-plugin-prettier from 5.1.2 to 5.1.3 (#299)
  • 72c3238 build(deps-dev): bump @​types/node from 18.19.3 to 18.19.4 (#298)
  • 07daf7b build(deps-dev): bump eslint-plugin-jest from 27.6.0 to 27.6.1 (#297)
  • Additional commits viewable in compare view


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.2

v4.1.1

v4.1.0

v4.0.0

v3.6.0

v3.5.3

v3.5.2

v3.5.1

v3.5.0

v3.4.0

v3.3.0

v3.2.0

... (truncated)

Commits


Updates JetBrains/qodana-action from 2022.3.0 to 2023.3.2

Release notes

Sourced from JetBrains/qodana-action's releases.

v2023.3.2

Changelog

  • fc2dc2f :bricks: Use node20 as the action runtime
  • 43dddd1 :arrow_up: Bump the dependencies group with 7 updates
  • 9a71424 :arrow_up: Bump the dependencies group with 1 update
  • 5796958 :arrow_up: Bump the dependencies group with 2 updates
  • 8e10b3a :arrow_up: Update qodana to v2023.3.2
  • 11d3bf9 :arrow_up: Bump the dependencies group with 16 updates
  • 19ac427 :arrow_up: Bump undici from 5.26.3 to 5.28.3
  • 3ffdff2 :arrow_up: Bump the dependencies group with 1 update
  • a040a78 :arrow_up: Bump follow-redirects from 1.15.5 to 1.15.6

v2023.3.1

Changelog

  • e5e5181 :bug: Problem may not always contain a location.
  • 138fe72 :bug: Repack action distribution
  • 7f47dd1 :bug: Fix nullability
  • 8815ca3 :bug: Repack action distribution
  • 4660a5f :arrow_up: Bump the dependencies group with 2 updates
  • 2699838 :arrow_up: Bump the dependencies group with 15 updates
  • 0810865 :arrow_up: Update qodana to v2023.3.1
  • 7cf87a0 :recycle: Fix code for the latest GitHub dependencies
  • 5047802 :bug: Fix output issues (QD-6541, QD-7986)
  • 54f6385 :arrow_up: Bump the dependencies group with 9 updates
  • f5f62df :arrow_up: Bump the dependencies group with 3 updates

v2023.3.0

Changelog

  • d649a11 :arrow_up: Bump the dependencies group with 1 update
  • 8815261 :arrow_up: Bump the dependencies group with 6 updates
  • 44987a4 :bug: Fix comment text
  • 8cd5597 :bricks: Update output types for @actions/github 6.0
  • a8363b7 :arrow_up: Update qodana to v2023.3.0

v2023.2.9

Changelog

  • 4dcb914 :arrow_up: Bump the dependencies group with 1 update
  • e53ac44 :arrow_up: Bump azure-pipelines-tool-lib from 2.0.4 to 2.0.7
  • d967b8d :arrow_up: Bump @​babel/traverse from 7.22.5 to 7.23.2 in /common
  • ca7f3f0 :arrow_up: Bump @​babel/traverse from 7.23.0 to 7.23.2
  • 29f22af :arrow_up: Bump @​typescript-eslint/parser from 6.7.4 to 6.12.0
  • f9a9d80 :arrow_up: Bump undici from 5.25.4 to 5.26.3
  • ca58de2 :arrow_up: Update qodana to v2023.2.9 (to support Qodana for .NET running without Docker)
  • 35c2522 :arrow_up: Bump the dependencies group with 18 updates
  • d88b4f7 :zap: Disable Docker/linux requirement for Azure task
  • 489ba71 :bug: Fix report URL for native runs

... (truncated)

Commits
  • a040a78 :arrow_up: Bump follow-redirects from 1.15.5 to 1.15.6
  • 3ffdff2 :arrow_up: Bump the dependencies group with 1 update
  • c0a36fb :bricks: Fix project after dependabots
  • 19ac427 :arrow_up: Bump undici from 5.26.3 to 5.28.3
  • 11d3bf9 :arrow_up: Bump the dependencies group with 16 updates
  • 8e10b3a :arrow_up: Update qodana to v2023.3.2
  • 5796958 :arrow_up: Bump the dependencies group with 2 updates
  • 9a71424 :arrow_up: Bump the dependencies group with 1 update
  • 43dddd1 :arrow_up: Bump the dependencies group with 7 updates
  • fc2dc2f :bricks: Use node20 as the action runtime
  • Additional commits viewable in compare view


Updates github/codeql-action from 2 to 3

Release notes

Sourced from github/codeql-action's releases.

CodeQL Bundle v2.17.1

Bundles CodeQL CLI v2.17.1

Includes the following CodeQL language packs from github/codeql@codeql-cli/v2.17.1:

CodeQL Bundle v2.17.0

Bundles CodeQL CLI v2.17.0

Includes the following CodeQL language packs from github/codeql@codeql-cli/v2.17.0:

CodeQL Bundle v2.16.6

Bundles CodeQL CLI v2.16.6

Includes the following CodeQL language packs from github/codeql@codeql-cli/v2.16.6: