Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

improve(hook): détermine s'il s'agit de l'édition Insiders à partir de la version du thème #1140

Merged
merged 1 commit into from
Jun 15, 2024

Conversation

Guts
Copy link
Member

@Guts Guts commented Jun 15, 2024

No description provided.

@github-actions github-actions bot added enhancement Ajout ou amélioration d'une fonctionnalité mkdocs Tout ce qui est lié au générateur de site : configuration, hooks, scripts... thème Personnalisation du thème du site (CSS, JS, partials...) labels Jun 15, 2024
Copy link
Contributor

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

@Guts Guts merged commit a9f48db into master Jun 15, 2024
5 checks passed
@Guts Guts deleted the improve/determine-insiders-flavor-from-theme-version branch June 15, 2024 21:49
@github-actions github-actions bot temporarily deployed to pr-previews June 15, 2024 21:49 Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement Ajout ou amélioration d'une fonctionnalité mkdocs Tout ce qui est lié au générateur de site : configuration, hooks, scripts... thème Personnalisation du thème du site (CSS, JS, partials...)
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant