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

Added button for docs to editor #502

Merged
merged 4 commits into from
Jul 26, 2023
Merged

Added button for docs to editor #502

merged 4 commits into from
Jul 26, 2023

Conversation

vin-ni
Copy link
Member

@vin-ni vin-ni commented Jul 23, 2023

No description provided.

@vin-ni vin-ni linked an issue Jul 23, 2023 that may be closed by this pull request
Link to docs in the editor #486
Closed
@github-actions
Copy link

github-actions bot commented Jul 23, 2023 •
edited
Loading

File Coverage
All files 82% ✅
gencaster/distributor.py 69% ✅
gencaster/schema.py 67% ✅
gencaster/urls.py 77% ✅
osc_server/models.py 91% ✅
osc_server/server.py 55% ✅
story_graph/engine.py 74% ✅
story_graph/markdown_parser.py 85% ✅
story_graph/models.py 98% ✅
story_graph/types.py 99% ✅
stream/frontend_types.py 94% ✅
stream/models.py 91% ✅
stream/types.py 98% ✅

Minimum allowed coverage is 50%

Generated by 🐒 cobertura-action against 0c1089c

@vin-ni
Copy link
Member Author

vin-ni commented Jul 26, 2023

@capital-G ready to merge

@capital-G capital-G merged commit 5a21176 into main Jul 26, 2023
4 checks passed
@capital-G
Copy link
Member

Nice! :)

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
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

Link to docs in the editor
2 participants
@vin-ni @capital-G