Skip to content

Merge main rtd unshallow clone into develop#182

Merged
sandorkertesz merged 2 commits into
developfrom
main
Jun 29, 2026
Merged

Merge main rtd unshallow clone into develop#182
sandorkertesz merged 2 commits into
developfrom
main

Conversation

@sandorkertesz

Copy link
Copy Markdown
Collaborator

Description

Contributor Declaration

By opening this pull request, I affirm the following:

  • All authors agree to the Contributor License Agreement.
  • The code follows the project's coding standards.
  • I have performed self-review and added comments where needed.
  • I have added or updated tests to verify that my changes are effective and functional.
  • I have run all existing tests and confirmed they pass.

@sandorkertesz sandorkertesz changed the title Merge main rtd unshallow clone Merge main rtd unshallow clone into develop Jun 29, 2026
@sandorkertesz sandorkertesz merged commit c56022b into develop Jun 29, 2026
125 of 241 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant