Skip to content

Cleanup, fix and document#27

Merged
jzer7 merged 14 commits intomainfrom
wip/cleanup/20260108
Jan 9, 2026
Merged

Cleanup, fix and document#27
jzer7 merged 14 commits intomainfrom
wip/cleanup/20260108

Conversation

@jzer7
Copy link
Owner

@jzer7 jzer7 commented Jan 9, 2026

Quite a bit here.

  • Refactor code for clarity
  • Explain the solver better
  • Fix a few tests
  • Standardized tooling
  • Update dependencies

jzer7 added 14 commits January 8, 2026 22:17
- remove mentions to previous CLI (firebase)
- update documentation
- clean up dependencies
- formatting
- bump version to 0.3.0

Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
- add tasks to clean workspace
- add mechanism to override job when simulating github action
- expand scope of formatting task
- remove Makefile

Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
Signed-off-by: Juan Rubio <jcrubio@gmail.com>
@jzer7 jzer7 merged commit dbd6cb4 into main Jan 9, 2026
2 checks passed
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