Skip to content

Cache dev shell in FlakeHub Cache#40

Merged
edolstra merged 1 commit intomainfrom
cache-dev-shells
Mar 29, 2024
Merged

Cache dev shell in FlakeHub Cache#40
edolstra merged 1 commit intomainfrom
cache-dev-shells

Conversation

@lucperkins
Copy link
Copy Markdown
Member

Just a bit of dogfooding here.

@edolstra edolstra merged commit a08d2ea into main Mar 29, 2024
@edolstra edolstra deleted the cache-dev-shells branch March 29, 2024 15:02
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