Skip to content

Conversation

@ddobrigk
Copy link
Collaborator

@ddobrigk ddobrigk commented Dec 8, 2025

No description provided.

@github-actions
Copy link

github-actions bot commented Dec 8, 2025

O2 linter results: ❌ 0 errors, ⚠️ 1 warnings, 🔕 0 disabled

@ddobrigk ddobrigk marked this pull request as ready for review December 8, 2025 09:20
@ddobrigk ddobrigk requested review from a team, alibuild, iarsene, jgrosseo and ktf as code owners December 8, 2025 09:20
@ddobrigk ddobrigk enabled auto-merge (squash) December 8, 2025 10:16
Copy link
Collaborator

@alibuild alibuild left a comment

Choose a reason for hiding this comment

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

Auto-approving on behalf of @ddobrigk.

@ddobrigk ddobrigk merged commit 360f963 into master Dec 8, 2025
13 of 14 checks passed
@ddobrigk ddobrigk deleted the ddobrigk-patch-5 branch December 8, 2025 11:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Development

Successfully merging this pull request may close these issues.

3 participants