Skip to content

chore(deps): bump the actions group with 2 updates - #64

Merged
hyperpolymath merged 1 commit into
mainfrom
dependabot/github_actions/actions-ff6827a54a
Nov 2, 2026
Merged

chore(deps): bump the actions group with 2 updates#64
hyperpolymath merged 1 commit into
mainfrom
dependabot/github_actions/actions-ff6827a54a

Conversation

@dependabot

@dependabot dependabot Bot commented on behalf of github Nov 2, 2026

Copy link
Copy Markdown
Contributor

Bumps the actions group with 2 updates: SonarSource/sonarqube-scan-action and leanprover/lean-action.

Updates SonarSource/sonarqube-scan-action from 8.3.0 to 8.4.0

Release notes

Sourced from SonarSource/sonarqube-scan-action's releases.

v8.4.0

What's Changed

New Contributors

Full Changelog: SonarSource/sonarqube-scan-action@v8.3.0...v8.4.0

Commits
  • 4d1dc0c Update SonarScanner CLI to 8.3.0.16463 (#293)
  • ee2d757 SQSCANGHA-185 NO-JIRA Bump madhead/semver-utils from 5.0.0 to 5.1.1 (#290)
  • a7de334 Update dependency rollup to v4.65.0 (#291)
  • 38f0382 Update dependency rollup to v4.64.12 (#288)
  • 54ae8f2 Update dependency rollup to v4.64.9 (#283)
  • 3a63ba4 CONTENT-3798 README update for marketing (#274)
  • b632445 Update dependency rollup to v4.64.7 (#282)
  • c3c1d58 SQSCANGHA-176 docs: refresh action and scanner version examples (#280)
  • b541427 SQSCANGHA-177 Update SonarScanner CLI to 8.2.0.6438 (#281)
  • 15d1d91 Update dependency rollup to v4.64.6 (#279)
  • Additional commits viewable in compare view

Updates leanprover/lean-action from 1.6.2 to 1.7.0

Release notes

Sourced from leanprover/lean-action's releases.

v1.7.0

Changed

  • set MATHLIB_CACHE_GET_URL to https://cache.mathlib.org/mathlib4 for lake exe cache get, so Mathlib cache clients that read this variable download from cache.mathlib.org. A value that the workflow sets takes precedence. An empty value unsets the variable, so the cache client uses its own default endpoint

Fixed

  • pass --no-modify-path to elan-init so installing elan no longer edits the runner's persistent environment (HKCU\Environment\PATH on Windows, ~/.profile and friends elsewhere). lean-action already puts $HOME/.elan/bin on $GITHUB_PATH, so this is a no-op on GitHub-hosted runners; on self-hosted runners it stops every job from accumulating PATH entries that outlive it
Changelog

Sourced from leanprover/lean-action's changelog.

Changelog

All notable changes to lean-action will be documented in this file.

The format is based on Keep a Changelog, and this project adheres to Semantic Versioning.

Unreleased

v1.7.0 - 2026-10-27

Changed

  • set MATHLIB_CACHE_GET_URL to https://cache.mathlib.org/mathlib4 for lake exe cache get, so Mathlib cache clients that read this variable download from cache.mathlib.org. A value that the workflow sets takes precedence. An empty value unsets the variable, so the cache client uses its own default endpoint

Fixed

  • pass --no-modify-path to elan-init so installing elan no longer edits the runner's persistent environment (HKCU\Environment\PATH on Windows, ~/.profile and friends elsewhere). lean-action already puts $HOME/.elan/bin on $GITHUB_PATH, so this is a no-op on GitHub-hosted runners; on self-hosted runners it stops every job from accumulating PATH entries that outlive it

v1.6.2 - 2026-10-12

Fixed

  • save the GitHub cache after testing and linting so their build artifacts can be reused, preserving caching after test or lint failures and skipping saves on an exact cache hit

v1.6.1 - 2026-10-02

Changed

  • pin the actions/cache steps, and all actions used by this repository's workflows, to full commit SHAs, so that lean-action works in organizations that require SHA-pinned actions

v1.6.0 - 2026-08-22

Added

  • new leanchecker-args input to pass arguments to lake env leanchecker, e.g. leanchecker-args: "-v" for verbose output or explicit module prefixes such as leanchecker-args: "MyPkg.Core" to narrow the set of modules checked
  • new axiom-audit input to audit the project's axioms with axiom-audit: fail if any declaration depends on an axiom outside the allowlist (catches sorry, native_decide, and home-rolled axioms). Default: false
  • new axiom-audit-allow input for the allowlist (default: propext,Classical.choice,Quot.sound)
  • new axiom-audit-root input to set the audited root namespace (default: the lakefile's library name)
  • new axiom-audit-status output parameter
  • new lint-args input to specify arguments to pass to lake lint

... (truncated)

Commits

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 show <dependency name> ignore conditions will show all of the ignore conditions of the specified dependency
  • @dependabot ignore <dependency name> 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 <dependency name> 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 <dependency name> 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 <dependency name> will remove all of the ignore conditions of the specified dependency
  • @dependabot unignore <dependency name> <ignore condition> will remove the ignore condition of the specified dependency and ignore conditions

@dependabot
chore(deps): bump the actions group with 2 updates
cc89e63 
Bumps the actions group with 2 updates: [SonarSource/sonarqube-scan-action](https://github.com/sonarsource/sonarqube-scan-action) and [leanprover/lean-action](https://github.com/leanprover/lean-action).


Updates `SonarSource/sonarqube-scan-action` from 8.3.0 to 8.4.0
- [Release notes](https://github.com/sonarsource/sonarqube-scan-action/releases)
- [Commits](SonarSource/sonarqube-scan-action@v8.3.0...v8.4.0)

Updates `leanprover/lean-action` from 1.6.2 to 1.7.0
- [Release notes](https://github.com/leanprover/lean-action/releases)
- [Changelog](https://github.com/leanprover/lean-action/blob/main/CHANGELOG.md)
- [Commits](leanprover/lean-action@24581d7...fe40864)

---
updated-dependencies:
- dependency-name: SonarSource/sonarqube-scan-action
  dependency-version: 8.4.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: actions
- dependency-name: leanprover/lean-action
  dependency-version: 1.7.0
  dependency-type: direct:production
  update-type: version-update:semver-minor
  dependency-group: actions
...

Signed-off-by: dependabot[bot] <support@github.com>
@dependabot dependabot Bot added dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code labels Nov 2, 2026
@dependabot
dependabot Bot requested a review from hyperpolymath as a code owner November 2, 2026 10:50
@coderabbitai

coderabbitai Bot commented Nov 2, 2026

Copy link
Copy Markdown
Contributor

Important

Review skipped

Bot user detected.

To trigger a single review, invoke the @coderabbitai review command.

Run configuration
  • Source mode: Auto
  • Repository: Unavailable
  • Branch: Unavailable
  • File: No configuration file from this repository applied
  • Commit: Unavailable
  • Layers: Organization UI
  • Review profile: ASSERTIVE
  • Plan: Advanced
  • Run ID: c023cd30-530e-4933-9810-9b7fa035d5ab

You can disable this status message by setting the reviews.review_status to false in the CodeRabbit configuration file.

Use the checkbox below for a quick retry:

  • Trigger review
  • Autofix · Keep fixing CodeRabbit findings and required CI, and resolving merge conflicts

Thanks for using CodeRabbit! It's free for OSS, and your support helps us grow. If you like it, consider giving us a shout-out.

Share

github-actions[bot]
github-actions Bot approved these changes Nov 2, 2026
View reviewed changes

@github-actions github-actions Bot left a comment

Copy link
Copy Markdown

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Auto-approving Dependabot security update (, version-update:semver-minor). Policy: low/moderate security patches/minors only.

@github-actions
github-actions Bot enabled auto-merge (squash) November 2, 2026 10:50
@hyperpolymath
hyperpolymath merged commit 9b8e3ef into main Nov 2, 2026
23 of 26 checks passed
@hyperpolymath
hyperpolymath deleted the dependabot/github_actions/actions-ff6827a54a branch November 2, 2026 14:35
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@hyperpolymath hyperpolymath hyperpolymath approved these changes
@github-actions github-actions[bot] github-actions[bot] approved these changes

Assignees

No one assigned

Labels

dependencies Pull requests that update a dependency file github_actions Pull requests that update GitHub Actions code

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@hyperpolymath