Skip to content

chore(main): release 4.1.1#74

Merged
dgrauet merged 2 commits into
mainfrom
release-please--branches--main--components--intendant
Jul 12, 2026
Merged

chore(main): release 4.1.1#74
dgrauet merged 2 commits into
mainfrom
release-please--branches--main--components--intendant

Conversation

@dgrauet-release-bot

@dgrauet-release-bot dgrauet-release-bot Bot commented Jul 12, 2026

Copy link
Copy Markdown
Contributor

🤖 I have created a release beep boop

4.1.1 (2026-07-12)

Bug Fixes

  • checks: drop DG006 — detection heuristic overfitted to two cases (#73) (4e81ee7)

Documentation

  • translate remaining French content to English (#75) (89270e5)

This PR was generated with Release Please. See documentation.

@dgrauet-release-bot
dgrauet-release-bot Bot force-pushed the release-please--branches--main--components--intendant branch from 8c6bfa6 to 26094ba Compare July 12, 2026 15:15
@dgrauet
dgrauet merged commit cbc0af8 into main Jul 12, 2026
3 checks passed
@dgrauet
dgrauet deleted the release-please--branches--main--components--intendant branch July 12, 2026 15:18
@dgrauet-release-bot

Copy link
Copy Markdown
Contributor Author

🤖 Created releases:

🌻

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants