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(examples): update examples #3806

Merged
merged 1 commit into from
Jan 4, 2025
Merged

chore(examples): update examples #3806

merged 1 commit into from
Jan 4, 2025

Conversation

pyroscope-development-app[bot]
Copy link
Contributor

make tools/update_examples

@pyroscope-development-app pyroscope-development-app bot requested a review from a team as a code owner December 30, 2024 22:07
@pyroscope-development-app pyroscope-development-app bot force-pushed the gh_bot_examples_update branch 2 times, most recently from a3e0668 to f23612e Compare December 31, 2024 00:24
@korniltsev
Copy link
Collaborator

well, this is not what I wanted it to do =/

@pyroscope-development-app pyroscope-development-app bot force-pushed the gh_bot_examples_update branch 26 times, most recently from 6508de8 to c02947c Compare January 1, 2025 02:33
@pyroscope-development-app pyroscope-development-app bot force-pushed the gh_bot_examples_update branch 20 times, most recently from 52b8118 to f1aa6ab Compare January 4, 2025 01:34
@korniltsev korniltsev merged commit 58aa143 into main Jan 4, 2025
18 checks passed
@korniltsev korniltsev deleted the gh_bot_examples_update branch January 4, 2025 03:03
@korniltsev korniltsev added type/docs Improvements for doc docs. Used by Docs team for project management backport release/v1.11 This label will backport a merged PR to the release/v1.11 branch and removed backport release/v1.11 This label will backport a merged PR to the release/v1.11 branch labels Jan 4, 2025
github-actions bot pushed a commit that referenced this pull request Jan 4, 2025
Co-authored-by: Pyroscope Bot <[email protected]>
(cherry picked from commit 58aa143)
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.

2 participants