Skip to content

chore: merge develop into main#159

Merged
DaffyDuke merged 23 commits intomainfrom
develop
Jan 29, 2026
Merged

chore: merge develop into main#159
DaffyDuke merged 23 commits intomainfrom
develop

Conversation

@DaffyDuke
Copy link
Copy Markdown
Owner

Merge automatique de develop vers main via Makefile

Copilot AI and others added 23 commits January 22, 2026 11:45
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
Co-authored-by: copilot-swe-agent[bot] <198982749+Copilot@users.noreply.github.com>
@DaffyDuke DaffyDuke merged commit de52dff into main Jan 29, 2026
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants