chore(ci): bump pinned GitHub Actions to latest

[marcelolynch]

• actions/attest-build-provenance: v4.1.0 -> v4.1.1
• actions/setup-python: v6.2.0 -> v6.3.0
• softprops/action-gh-release: v3.0.0 -> v3.0.1
• actions/cache: v5.0.5 -> v6.1.0 (ESM migration + read-only cache handling)
• zulip/github-actions-zulip/send-message: v2.0.1 -> v2.0.2
• leanprover-community/privilege-escalation-bridge: v1.2.0 -> v1.3.0
• leanprover-community/gh-problem-matcher-wrap: pin to the node24 build (clears the Node 20 deprecation warning)
• kim-em/github-actions-ensure-sha-pinned-actions: pin to v5.0.0 instead of a feature branch
• dcarbone/install-jq-action: v3.2.0 -> v4.0.1 (default jq -> 1.8.2)

actions/checkout was already bumped to v7.0.0 on master (#41084).

[github-actions]

PR summary 036f6499af

Import changes for modified files

No significant changes to the import graph

Import changes for all files

Files	Import difference

---

Declarations diff (regex)

No declarations were harmed in the making of this PR! 🐙

You can run this locally as follows

## from your `mathlib4` directory:
git clone https://github.com/leanprover-community/mathlib-ci.git ../mathlib-ci

## summary with just the declaration names:
../mathlib-ci/scripts/pr_summary/declarations_diff.sh <optional_commit>

## more verbose report:
../mathlib-ci/scripts/pr_summary/declarations_diff.sh long <optional_commit>

The doc-module for scripts/pr_summary/declarations_diff.sh in the mathlib-ci repository contains some details about this script.

Declarations diff (Lean -- pending)

Computed after the build finishes.

---

No changes to strong technical debt.

No changes to weak technical debt.

Current commit 036f6499af
Reference commit 8d0d1cff7b

This script lives in the mathlib-ci repository. To run it locally, from your mathlib4 directory:

git clone https://github.com/leanprover-community/mathlib-ci.git ../mathlib-ci
../mathlib-ci/scripts/reporting/technical-debt-metrics.sh pr_summary

• The relative value is the weighted sum of the differences with weight given by the inverse of the current value of the statistic.
• The absolute value is the relative value divided by the total sum of the inverses of the current values (i.e. the weighted average of the differences).

---

⚠️ Workflow documentation reminder

This PR modifies files under .github/workflows/.
Please update docs/workflows.md if the workflow inventory, triggers, or behavior changed.

Modified workflow files:

• .github/workflows/PR_summary.yml
• .github/workflows/build_template.yml
• .github/workflows/commit_verification.yml
• .github/workflows/commit_verification_wf_run.yml
• .github/workflows/daily.yml
• .github/workflows/docker_build.yml
• .github/workflows/lake_cache_shadow.yml
• .github/workflows/latest_import.yml
• .github/workflows/long_file_report.yml
• .github/workflows/maintainer_bors.yml
• .github/workflows/maintainer_bors_wf_run.yml
• .github/workflows/maintainer_merge.yml
• .github/workflows/maintainer_merge_wf_run.yml
• .github/workflows/nightly_bump_and_merge.yml
• .github/workflows/nightly_detect_failure.yml
• .github/workflows/olean_report.yaml
• .github/workflows/olean_report_wf_run.yaml
• .github/workflows/pre-commit.yml
• .github/workflows/release.yml
• .github/workflows/remove_deprecated_decls.yml
• .github/workflows/rm_set_option.yml
• .github/workflows/shake.yaml
• .github/workflows/technical_debt_metrics.yml
• .github/workflows/update_dependencies.yml
• .github/workflows/update_dependencies_zulip.yml
• .github/workflows/weekly-lints.yml
• .github/workflows/zulip_emoji_ci_status.yaml
• .github/workflows/zulip_emoji_closed_pr.yaml
• .github/workflows/zulip_emoji_labelling.yaml
• .github/workflows/zulip_emoji_merge_delegate.yaml