Skip to content

Conversation

@gtoonstra
Copy link
Contributor

What type of PR is this? (check all applicable)

  • docs: Documentation only changes

Description

@gtoonstra gtoonstra requested a review from a team as a code owner July 10, 2025 07:42
@gtoonstra gtoonstra requested a review from fpopa July 10, 2025 07:42
@gtoonstra gtoonstra added the documentation Improvements or additions to documentation label Jul 10, 2025
@gtoonstra gtoonstra merged commit 754388d into main Jul 10, 2025
5 checks passed
@gtoonstra gtoonstra deleted the update_example branch July 10, 2025 08:40
@devops-datafold
Copy link

This PR is included in version 1.14.1 🎉

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants