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

Group environments by type in docs #83

Merged
merged 5 commits into from
Feb 19, 2024
Merged

Group environments by type in docs #83

merged 5 commits into from
Feb 19, 2024

Conversation

LucasAlegre
Copy link
Member

As suggested in #82.

@LucasAlegre LucasAlegre self-assigned this Feb 16, 2024
@LucasAlegre LucasAlegre added the documentation Improvements or additions to documentation label Feb 16, 2024
@LucasAlegre LucasAlegre marked this pull request as draft February 16, 2024 19:13
@LucasAlegre LucasAlegre changed the title Group environment by type in docs Group environments by type in docs Feb 16, 2024
@LucasAlegre LucasAlegre marked this pull request as ready for review February 18, 2024 22:40
docs/index.md Show resolved Hide resolved
@LucasAlegre LucasAlegre merged commit 02e9810 into main Feb 19, 2024
10 checks passed
@LucasAlegre LucasAlegre deleted the docs-env-types branch February 19, 2024 17:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Improvements or additions to documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants