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

Fix main (more snippet opt-out shenanigans) #7840

Merged
merged 1 commit into from
Oct 19, 2024
Merged

Conversation

teh-cmc
Copy link
Member

@teh-cmc teh-cmc commented Oct 19, 2024

  • yes

@teh-cmc teh-cmc added 🪳 bug Something isn't working examples Issues relating to the Rerun examples exclude from changelog PRs with this won't show up in CHANGELOG.md 🚢 CI labels Oct 19, 2024
@teh-cmc
Copy link
Member Author

teh-cmc commented Oct 19, 2024

@rerun-bot full-check

Copy link

@teh-cmc teh-cmc merged commit 1e529e3 into main Oct 19, 2024
69 of 70 checks passed
@teh-cmc teh-cmc deleted the cmc/fix_main_20241019_2 branch October 19, 2024 18:28
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
🪳 bug Something isn't working examples Issues relating to the Rerun examples exclude from changelog PRs with this won't show up in CHANGELOG.md 🚢 CI
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant