Skip to content
This repository was archived by the owner on Jul 27, 2023. It is now read-only.

Spring cleaning #39

Merged
merged 2 commits into from
Jun 14, 2022
Merged

Spring cleaning #39

merged 2 commits into from
Jun 14, 2022

Conversation

bahlo
Copy link
Member

@bahlo bahlo commented Jun 10, 2022 •
edited
Loading

  • Add shell.nix
  • Bump all dependencies to latest released version

@bahlo bahlo changed the title Add shell.nix Cleanup Jun 10, 2022
@bahlo bahlo changed the title Cleanup Spring cleaning Jun 10, 2022
@bahlo bahlo requested a review from lukasmalkmus June 10, 2022 14:08
@bahlo bahlo marked this pull request as ready for review June 10, 2022 14:08
@bahlo bahlo merged commit c24a8aa into main Jun 14, 2022
@bahlo bahlo deleted the arne/cleanup branch June 14, 2022 11:58
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@lukasmalkmus lukasmalkmus lukasmalkmus approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@bahlo @lukasmalkmus