Skip to content

Conversation

github-actions[bot]
Copy link
Contributor

To test the changes, run the following and browse to URL output by the script:

git fetch
git checkout origin/update-make-docs
cd docs
make docs

@github-actions github-actions bot added the type/docs Improvements for doc docs. Used by Docs team for project management label Feb 19, 2025
@github-actions github-actions bot requested a review from jdbaldry as a code owner February 19, 2025 07:05
@simonswine simonswine enabled auto-merge (squash) February 19, 2025 08:09
@simonswine simonswine merged commit 4d5f1d8 into main Feb 19, 2025
21 checks passed
@simonswine simonswine deleted the update-make-docs branch February 19, 2025 08:14
shelldandy pushed a commit to shelldandy/pyroscope that referenced this pull request Mar 14, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
type/docs Improvements for doc docs. Used by Docs team for project management
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants