Skip to content

[tool] chore(tooling): improve and sync renovate & gh actions#132

Merged
guillaumejparis merged 8 commits into
mainfrom
improve-tooling
Feb 18, 2026
Merged

[tool] chore(tooling): improve and sync renovate & gh actions#132
guillaumejparis merged 8 commits into
mainfrom
improve-tooling

Conversation

@guillaumejparis

@guillaumejparis guillaumejparis commented Jan 12, 2026 •
edited
Loading

Copy link
Copy Markdown
Member

Proposed changes

  • sync renovate definition with core repo
  • improve gh actions & sync with others repos

Testing Instructions

  1. Step-by-step how to test
  2. Environment or config notes

Related issues

  • Closes #ISSUE-NUMBER

Checklist

  • I consider the submitted work as finished
  • I tested the code for its functionality
  • I wrote test cases for the relevant uses case
  • I added/update the relevant documentation (either on github or on notion)
  • Where necessary I refactored code to improve the overall quality
  • For bug fix -> I implemented a test that covers the bug

Further comments

@github-actions github-actions Bot added the filigran team Item from the Filigran team. label Jan 12, 2026
@guillaumejparis guillaumejparis removed the filigran team Item from the Filigran team. label Jan 13, 2026
@github-actions github-actions Bot added the filigran team Item from the Filigran team. label Jan 14, 2026
@guillaumejparis guillaumejparis changed the title Improve tooling [agent] Improve tooling Jan 14, 2026
@guillaumejparis guillaumejparis changed the title [agent] Improve tooling [agent] chore(actions/renovate): improve tooling Jan 14, 2026
@guillaumejparis guillaumejparis changed the title [agent] chore(actions/renovate): improve tooling [tool] chore(actions/renovate): improve tooling Jan 14, 2026
@guillaumejparis guillaumejparis changed the title [tool] chore(actions/renovate): improve tooling [tool] chore(tooling): improve and sync renovate & gh actions Jan 14, 2026
@guillaumejparis guillaumejparis force-pushed the improve-tooling branch 2 times, most recently from da1986e to eb8b5f9 Compare February 4, 2026 10:01
@guillaumejparis guillaumejparis removed the filigran team Item from the Filigran team. label Feb 17, 2026
@github-actions github-actions Bot added the filigran team Item from the Filigran team. label Feb 17, 2026
@guillaumejparis guillaumejparis merged commit 440a6ac into main Feb 18, 2026
9 of 10 checks passed
@guillaumejparis guillaumejparis deleted the improve-tooling branch February 18, 2026 08:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

@EmilieFo17 EmilieFo17 EmilieFo17 approved these changes

Assignees

No one assigned

Labels

filigran team Item from the Filigran team.

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

2 participants

@guillaumejparis @EmilieFo17