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.

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

Update to next release #3123

Closed
wants to merge 0 commits into from

Conversation

laeubi
Copy link
Member

@laeubi laeubi commented Dec 5, 2023

FYI @akurtakov

@HannesWell please finish your work here:

then this should be rebased.

Copy link

github-actions bot commented Dec 5, 2023

Test Results

382 files  +124  382 suites  +124   2h 20m 53s ⏱️ + 44m 34s
377 tests +  15  371 ✔️ +  16    6 💤 ±0  0  - 1 
754 runs  +235  741 ✔️ +233  13 💤 +3  0  - 1 

Results for commit 7d3a344. ± Comparison against base commit fce75f4.

♻️ This comment has been updated with latest results.

@laeubi laeubi force-pushed the update_to_next_release branch 5 times, most recently from 5a09194 to 7d3a344 Compare December 10, 2023 04:55
@laeubi laeubi closed this Dec 10, 2023
@laeubi laeubi force-pushed the update_to_next_release branch from 7d3a344 to 74f693b Compare December 10, 2023 13:37
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