Skip to content

Conversation

@stackit-pipeline
Copy link
Contributor

Generated from GitHub run 18876551954

@rubenhoenle rubenhoenle force-pushed the generator-bot-18876551954/resourcemanager branch from e7f79c6 to 859baa4 Compare October 29, 2025 08:14
@rubenhoenle rubenhoenle enabled auto-merge (squash) October 29, 2025 08:15
@rubenhoenle rubenhoenle merged commit b33cc00 into main Oct 29, 2025
10 checks passed
@rubenhoenle rubenhoenle deleted the generator-bot-18876551954/resourcemanager branch October 29, 2025 08:22
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.

3 participants