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 across 1 directory with 11 updates #3467

Closed dependabot[bot] closed 4 months ago

dependabot[bot] commented 5 months ago

Bumps the github-actions-deps group with 11 updates in the / directory:

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

v3.5.0

v3.4.0

... (truncated)

Commits


Updates JetBrains/qodana-action from 2022.3.0 to 2024.1.2

Release notes

Sourced from JetBrains/qodana-action's releases.

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

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

... (truncated)

Commits
  • 2dbc410 :arrow_up: Update qodana to v2024.1.2
  • 5faa8fe :bug: Fix dependency summary
  • e185f83 :bug: Update artifact upload pattern
  • 528bfd7 :zap: Allow using nightlies for development purposes
  • a4f50a6 :memo: Update Azure icon
  • 23aa837 :bricks: Update Azure configuration
  • 38a023c :bug: Support --config in the action
  • ccc2f78 :bricks: Update Qodana configuration
  • f0a644c :children_crossing: Fix view report message
  • 03d9f05 :recycle: Apply Qodana suggestions
  • 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.2

Bundles CodeQL CLI v2.17.2

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

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:

dependabot[bot] commented 4 months ago

This pull request was built based on a group rule. Closing it will not ignore any of these versions in future pull requests.

To ignore these dependencies, configure ignore rules in dependabot.yml