Skip to content

Conversation

@pre-commit-ci
Copy link
Contributor

@pre-commit-ci pre-commit-ci bot commented Feb 2, 2026

@github-actions github-actions bot added outillage Linter, git hooks, CI, CD, build, compilation, devops, intégration et déploiement continus, etc. mkdocs Tout ce qui est lié au générateur de site : configuration, hooks, scripts... labels Feb 3, 2026
@github-actions
Copy link
Contributor

github-actions bot commented Feb 3, 2026

🎉 Le site de prévisualisation pour cette PR a été généré et est disponible sous ce lien.
Commit de référence : f5b1ea8.

@Guts Guts merged commit 9a7b07f into master Feb 3, 2026
5 of 10 checks passed
@Guts Guts deleted the pre-commit-ci-update-config branch February 3, 2026 07:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

mkdocs Tout ce qui est lié au générateur de site : configuration, hooks, scripts... outillage Linter, git hooks, CI, CD, build, compilation, devops, intégration et déploiement continus, etc.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant