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.

Sign up for GitHub

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

Jump to bottom

Refacto : utilise le plugin group du thème Material pour gérer les plugins selon le niveau d'accès #992

Draft
wants to merge 7 commits into
base: master
Choose a base branch
from
Draft

Refacto : utilise le plugin group du thème Material pour gérer les plugins selon le niveau d'accès #992

wants to merge 7 commits into from
+177 −131

Conversation

Guts
Copy link
Member

@Guts Guts commented Oct 3, 2023 •
edited
Loading

Étapes :

  • ventiler les plugins
  • définir la variable d'environnement dans la CI/CD
  • MAJ la doc sur le site de contribution

Références :

@github-actions github-actions bot added mkdocs Tout ce qui est lié au générateur de site : configuration, hooks, scripts... dependencies Pull requests that update a dependency file labels Oct 3, 2023
@Guts Guts mentioned this pull request Oct 28, 2023
Closed
4 tasks
@Guts Guts force-pushed the refacto/use-group-plugin-instead-of-multiple-mkdocs_yml branch from ddfc690 to 85bc86c Compare October 28, 2023 17:18
@github-actions github-actions bot added the outillage Linter, git hooks, CI, CD, build, compilation, devops, intégration et déploiement continus, etc. label Oct 28, 2023
@Guts Guts force-pushed the refacto/use-group-plugin-instead-of-multiple-mkdocs_yml branch from 3286959 to 8487ec1 Compare November 14, 2023 19:15
@github-actions github-actions bot removed the dependencies Pull requests that update a dependency file label Nov 14, 2023
@Guts Guts force-pushed the refacto/use-group-plugin-instead-of-multiple-mkdocs_yml branch from 172ac32 to 08e95ba Compare November 14, 2023 20:52
@github-actions GitHub Actions
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 : 08e95ba.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
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
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@Guts