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

Remove automatic docs PR workflow #11758

Closed
edd opened this issue Nov 8, 2024 · 0 comments · Fixed by #11757
Closed

Remove automatic docs PR workflow #11758

edd opened this issue Nov 8, 2024 · 0 comments · Fixed by #11757
Labels
feature new feature to be developed no-changelog no-issue

Comments

@edd
Copy link
Contributor

edd commented Nov 8, 2024 •
edited
Loading

This will be run manually in future
@edd edd added the feature new feature to be developed label Nov 8, 2024
@edd edd mentioned this issue Nov 8, 2024
Merged
@vega-issues vega-issues moved this to Waiting Review in Core Kanban Nov 8, 2024
@edd edd moved this from Waiting Review to In Review in Core Kanban Nov 8, 2024
@github-project-automation github-project-automation bot moved this from In Review to Merged in Core Kanban Nov 8, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
feature new feature to be developed no-changelog no-issue
Projects
Core Kanban
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

ci: remove automatic docs pr workflow vegaprotocol/vega
1 participant
@edd