Commit 2026-10-22 02:32 d8881435
View on Github →chore(deps): bump the actions-version-updates group across 1 directory with 11 updates (#45153) Bumps the actions-version-updates group with 11 updates in the /.github/workflows directory:
| Package | From | To |
|---|---|---|
| reviewdog/action-actionlint | 1.73.0 | 1.80.4 |
| leanprover/lean-action | 1.6.1 | 1.6.2 |
| actions/upload-artifact | 7.0.1 | 7.0.2 |
| actions/download-artifact | 8.0.1 | 8.0.2 |
| actions/create-github-app-token | 3.2.0 | 3.3.0 |
| docker/build-push-action | 7.3.0 | 7.4.0 |
| actions/attest-build-provenance | 4.1.1 | 4.2.2 |
| corentinmusard/otel-cicd-action | 4.1.0 | 4.2.0 |
| actions/cache | 5.1.0 | 6.1.0 |
| pre-commit-ci/lite-action | 1.1.0 | 1.2.0 |
| softprops/action-gh-release | 3.0.2 | 3.0.3 |