chore(deps): bump the actions-version-updates group across 2 directories with 2 updates

[dependabot]

Bumps the actions-version-updates group with 2 updates in the /.github directory: actions/setup-python and leanprover/lean-action.
Bumps the actions-version-updates group with 2 updates in the /.github/workflows directory: actions/setup-python and leanprover/lean-action.

Updates actions/setup-python from 5.5.0 to 5.6.0

Release notes

Sourced from actions/setup-python's releases.

v5.6.0

What's Changed

• Workflow updates related to Ubuntu 20.04 by @​aparnajyothi-y in actions/setup-python#1065
• Fix for Candidate Not Iterable Error by @​aparnajyothi-y in actions/setup-python#1082
• Upgrade semver and @​types/semver by @​dependabot in actions/setup-python#1091
• Upgrade prettier from 2.8.8 to 3.5.3 by @​dependabot in actions/setup-python#1046
• Upgrade ts-jest from 29.1.2 to 29.3.2 by @​dependabot in actions/setup-python#1081

Full Changelog: actions/setup-python@v5...v5.6.0

Commits

• a26af69 Bump ts-jest from 29.1.2 to 29.3.2 (#1081)
• 30eafe9 Bump prettier from 2.8.8 to 3.5.3 (#1046)
• 5d95bc1 Bump semver and @​types/semver (#1091)
• 6ed2c67 Fix for Candidate Not Iterable Error (#1082)
• e348410 Remove Ubuntu 20.04 from workflows due to deprecation from 2025-04-15 (#1065)
• See full diff in compare view

Updates leanprover/lean-action from e18f2df7f0d4f30d11a4b963bff9b1140999480c to f807b338d95de7813c5c50d018f1c23c9b93b4ec

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

Added

• add option to always reinstall lean4-pr-releases toolchains, ensuring CI runs with the latest version

v1.1.2 - 2025-03-28

Fixed

• include runner architecture in cache key to avoid reusing .lake across different runner architectures

v1.1.1 - 2024-11-23

Fixed

• fix bug with passing multiple arguments to lake build via build-args input
• fix false feature flag logic when using auto-config: true

v1.1.0 - 2024-9-16

Added

• Windows GitHub runner support

Fixed

• replace actions/cache with actions/cache/restore to prevent redundant cache saving previously caused by the combination of actions/cache and actions/cache/save

v1.0.2 - 2024-8-26

Changed

• use empty string as default value for status outputs instead of "NOT_RUN" to avoid set-output-parameters final step breaking log group expansion

Fixed

• correct typo of in configuration step: "lake check-test failed" -> "lake check-lint failed"
• fix log group expansion in failing steps due to set-output-parameters step and removing the end log group command when a step fails

... (truncated)

Commits

• f807b33 Clarify and fix typo in changelog (#123)
• See full diff in compare view

Updates actions/setup-python from 5.5.0 to 5.6.0

Release notes

Sourced from actions/setup-python's releases.

v5.6.0

What's Changed

• Workflow updates related to Ubuntu 20.04 by @​aparnajyothi-y in actions/setup-python#1065
• Fix for Candidate Not Iterable Error by @​aparnajyothi-y in actions/setup-python#1082
• Upgrade semver and @​types/semver by @​dependabot in actions/setup-python#1091
• Upgrade prettier from 2.8.8 to 3.5.3 by @​dependabot in actions/setup-python#1046
• Upgrade ts-jest from 29.1.2 to 29.3.2 by @​dependabot in actions/setup-python#1081

Full Changelog: actions/setup-python@v5...v5.6.0

Commits

• a26af69 Bump ts-jest from 29.1.2 to 29.3.2 (#1081)
• 30eafe9 Bump prettier from 2.8.8 to 3.5.3 (#1046)
• 5d95bc1 Bump semver and @​types/semver (#1091)
• 6ed2c67 Fix for Candidate Not Iterable Error (#1082)
• e348410 Remove Ubuntu 20.04 from workflows due to deprecation from 2025-04-15 (#1065)
• See full diff in compare view

Updates leanprover/lean-action from e18f2df7f0d4f30d11a4b963bff9b1140999480c to f807b338d95de7813c5c50d018f1c23c9b93b4ec

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

Added

• add option to always reinstall lean4-pr-releases toolchains, ensuring CI runs with the latest version

v1.1.2 - 2025-03-28

Fixed

• include runner architecture in cache key to avoid reusing .lake across different runner architectures

v1.1.1 - 2024-11-23

Fixed

• fix bug with passing multiple arguments to lake build via build-args input
• fix false feature flag logic when using auto-config: true

v1.1.0 - 2024-9-16

Added

• Windows GitHub runner support

Fixed

• replace actions/cache with actions/cache/restore to prevent redundant cache saving previously caused by the combination of actions/cache and actions/cache/save

v1.0.2 - 2024-8-26

Changed

• use empty string as default value for status outputs instead of "NOT_RUN" to avoid set-output-parameters final step breaking log group expansion

Fixed

• correct typo of in configuration step: "lake check-test failed" -> "lake check-lint failed"
• fix log group expansion in failing steps due to set-output-parameters step and removing the end log group command when a step fails

... (truncated)

Commits

• f807b33 Clarify and fix typo in changelog (#123)
• See full diff 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 <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

[bryangingechen]

Ah! I didn't realize dependabot would automatically recreate the PRs when the configuration changed. That's quite convenient, but I already merged the other PRs. Let's see if dependabot automatically closes this...

[dependabot]

Looks like these dependencies are no longer updatable, so this is no longer needed.