Skip to content

chore: refine Renovate labels and automerge rules - #48

Merged
gargiulofrancesco merged 2 commits into
developfrom
chore/renovate-labels-automerge
Sep 29, 2026
Merged

gargiulofrancesco merged 2 commits into
developfrom
chore/renovate-labels-automerge

Conversation

@gargiulofrancesco

@gargiulofrancesco gargiulofrancesco commented Sep 29, 2026 •

Copy link
Copy Markdown
Member

Add changelog/chore automatically so Renovate PRs satisfy the required label check.

Configure auto-merge to:

  • Allow initial GitHub Actions commit pinning (pinDigest).
  • Require manual merging of Rust toolchain updates.

Keep the inherited Spiral settings and existing required merge checks. Ongoing Actions digest updates remain manual.

Validation: JSON syntax validation and git diff --check.

@gargiulofrancesco gargiulofrancesco added the changelog/chore Maintenance, tooling, and housekeeping with no user-facing changes label Sep 29, 2026
@codspeed

codspeed Bot commented Sep 29, 2026 •

Copy link
Copy Markdown
Contributor

Merging this PR will not alter performance

⚠️ Unknown Walltime execution environment detected

Using the Walltime instrument on standard Hosted Runners will lead to inconsistent data.

For the most accurate results, we recommend using CodSpeed Macro Runners: bare-metal machines fine-tuned for performance measurement consistency.

✅ 32 untouched benchmarks
⏩ 2 skipped benchmarks1


Comparing chore/renovate-labels-automerge (94aab8c) with develop (e668052)

Open in CodSpeed

Footnotes

  1. 2 benchmarks were skipped, so the baseline results were used instead. If they were deleted from the codebase, click here and archive them to remove them from the performance reports. ↩

@gargiulofrancesco gargiulofrancesco changed the title chore: label Renovate PRs and automerge Actions digest updates chore: refine Renovate labels and automerge rules Sep 29, 2026
@gargiulofrancesco
gargiulofrancesco merged commit 58e49e7 into develop Sep 29, 2026
9 checks passed
@gargiulofrancesco
gargiulofrancesco deleted the chore/renovate-labels-automerge branch September 29, 2026 19:32
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

changelog/chore Maintenance, tooling, and housekeeping with no user-facing changes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant