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

Small cleanup #580

Merged

gauntface merged 2 commits into main from minor-cleanup

Dec 12, 2024

Owner

gauntface commented Dec 12, 2024

No description provided.

gauntface added 2 commits

December 11, 2024 22:10


          Small cleanup

fb5583b


          Merge branch 'main' into minor-cleanup

94c6691

gauntface enabled auto-merge (squash)

December 12, 2024 06:11

gauntface merged commit a8c17d1 into main

1 check passed

gauntface deleted the minor-cleanup branch

December 12, 2024 06:12

coveralls commented Dec 12, 2024 •

edited

Loading

coverage: 68.989% (-0.08%) from 69.071%
when pulling 94c6691 on minor-cleanup
into 57f27b0 on main.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet