search

onriv / lean4ij

A Lean4 plugin for the Intellij Platform
Apache License 2.0
5 stars 0 forks source link

Bump JetBrains/qodana-action from 2024.1.5 to 2024.1.8 #4

Closed dependabot[bot] closed 2 months ago

dependabot[bot] commented 4 months ago

Bumps 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 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 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] commented 2 months ago

Superseded by #11.