Skip to content

Conversation

@meiersi-da
Copy link
Contributor

and improve dev docs slightly.

[ci]

Pull Request Checklist

Cluster Testing

  • If a cluster test is required, comment /cluster_test on this PR to request it, and ping someone with access to the DA-internal system to approve it.
  • If a hard-migration test is required (from the latest release), comment /hdm_test on this PR to request it, and ping someone with access to the DA-internal system to approve it.

PR Guidelines

  • Include any change that might be observable by our partners or affect their deployment in the release notes.
  • Specify fixed issues with Fixes #n, and mention issues worked on using #n
  • Include a screenshot for frontend-related PRs - see README or use your favorite screenshot tool

Merge Guidelines

  • Make the git commit message look sensible when squash-merging on GitHub (most likely: just copy your PR description).

and improve dev docs slightly.

[ci]

Signed-off-by: Simon Meier <[email protected]>
@meiersi-da meiersi-da requested a review from isegall-da October 24, 2025 14:30
Copy link
Contributor

@isegall-da isegall-da left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you

@meiersi-da meiersi-da merged commit 9cf7dfb into main Oct 27, 2025
60 checks passed
@meiersi-da meiersi-da deleted the meiersi/make-bsp-build-succeed branch October 27, 2025 15:35
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.

2 participants