2024-06-19 - 2025-06-19
Overview
Excluding merges,
2 authors
have pushed
6 commits
to master and
21 commits
to all branches.
On master,
5 files
have changed
and there have been
437 additions
and
71 deletions.
7 Pull requests merged by 1 user
Merged
#7 update deps (gmserialization)
Merged
#6 update deps
Merged
#5 update gmserialization dep
Merged
#4 Validation results were ignored, and also partly broken
Merged
#3 Reduce notification nesting, add 'continue' result
Merged
#2 report multiple solutions, server change message
Merged
#1 completing the pool-client interaction