Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

some smaller cleanups #3316

Merged
merged 1 commit into from
Jan 15, 2025
Merged

some smaller cleanups #3316

merged 1 commit into from
Jan 15, 2025

Conversation

cdietrich
Copy link
Contributor

No description provided.

@cdietrich
some smaller cleanups
6ed3ad8 
Signed-off-by: Christian Dietrich <christian.dietrich.opensource@gmail.com>
@cdietrich cdietrich added this to the Release_2.38 milestone Jan 15, 2025
@github-actions GitHub Actions
Copy link

github-actions bot commented Jan 15, 2025 •
edited
Loading

Test Results

  6 461 files  ±  0    6 461 suites  ±0   3h 10m 58s ⏱️ - 9m 33s
 43 241 tests ±  0   42 657 ✅ ±  0    584 💤 ±0  0 ❌ ±0 
170 055 runs   - 191  167 714 ✅  - 190  2 337 💤 ±0  4 ❌  - 1 

Results for commit 6ed3ad8. ± Comparison against base commit 073332a.

♻️ This comment has been updated with latest results.

@cdietrich cdietrich merged commit 07b7598 into main Jan 15, 2025
17 checks passed
@cdietrich cdietrich deleted the cd-cleanup branch January 15, 2025 19:22
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@LorenzoBettini LorenzoBettini LorenzoBettini approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
Release_2.38
Development

Successfully merging this pull request may close these issues.
2 participants
@cdietrich @LorenzoBettini