Skip to content
This repository has been archived by the owner on Dec 6, 2023. It is now read-only.

Minor improvements #1

Merged
merged 5 commits into from
May 26, 2023
Merged

Minor improvements #1

merged 5 commits into from
May 26, 2023

Conversation

SergioGasquez
Copy link
Contributor

  • Add CI
  • Fix fmt and clippy warnings
  • Update readme
  • Add gitignore

@georgik
Copy link
Owner

georgik commented May 26, 2023

Wow, @SergioGasquez . That was fast. Thank you for the cool improvements.

@georgik georgik merged commit 23431fa into georgik:main May 26, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants