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

chore: cleanup checked in api docs #913

Merged
merged 1 commit into from
May 16, 2024
Merged

chore: cleanup checked in api docs #913

merged 1 commit into from
May 16, 2024

Conversation

sgammon
Copy link
Member

@sgammon sgammon commented May 16, 2024

Ready for review Powered by Pull Request Badge

Summary

The docs now ship in a separate repo.

Changelog

  • chore: cleanup current api docs (they are shipped separately)
  • chore: cleanup older versions of api docs

- chore: cleanup current api docs (they are shipped separately)
- chore: cleanup older versions of api docs

Signed-off-by: Sam Gammon <sam@elide.ventures>
@sgammon sgammon added documentation Improvements or additions to documentation dev Dev tools, CI/CD, and other devops topics labels May 16, 2024
@sgammon sgammon added this to the Release R6: Alpha 10 milestone May 16, 2024
@sgammon sgammon requested a review from a team May 16, 2024 04:00
@sgammon sgammon self-assigned this May 16, 2024
@sgammon sgammon merged commit e444292 into main May 16, 2024
6 of 8 checks passed
@sgammon sgammon deleted the chore/cleanup-docs branch May 16, 2024 04:01
This was referenced Jun 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dev Dev tools, CI/CD, and other devops topics documentation Improvements or additions to documentation
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

None yet

1 participant