Skip to content

Miscellaneous updates#6

Merged
eshrh merged 6 commits intomasterfrom
misc-fixes
Oct 17, 2024
Merged

Miscellaneous updates#6
eshrh merged 6 commits intomasterfrom
misc-fixes

Conversation

@stephen-huan
Copy link
Copy Markdown
Contributor

  • run prettier on documentation
  • fix logo on crates.io by hardcoding a GitHub url
  • bump flake and update build
  • remove .envrc

@eshrh eshrh merged commit 456f05e into master Oct 17, 2024
@eshrh eshrh deleted the misc-fixes branch October 17, 2024 04:53
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