Skip to content

Merge statics#3452

Merged
Samoed merged 2 commits intomainfrom
merge_statirics
Oct 20, 2025
Merged

Merge statics#3452
Samoed merged 2 commits intomainfrom
merge_statirics

Conversation

@Samoed
Copy link
Member

@Samoed Samoed commented Oct 20, 2025

Merge statics from #3451. It was targeted to v2 instead of main.

@fzoll Can you push your PRs from main? We've released v2

fzoll and others added 2 commits October 20, 2025 20:22
* Correcting the get_tasks filtering issue

* Correcting the get_tasks filtering issue

* Descriptive stats, part 6
@Samoed Samoed enabled auto-merge (squash) October 20, 2025 17:24
@Samoed Samoed merged commit 5e6542e into main Oct 20, 2025
10 checks passed
@Samoed Samoed deleted the merge_statirics branch October 20, 2025 17:34
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