Skip to content

flake: fix fetching#31

Merged
tomasriveral merged 2 commits into
mainfrom
flake-fix
May 25, 2026
Merged

flake: fix fetching#31
tomasriveral merged 2 commits into
mainfrom
flake-fix

Conversation

@tomasriveral
Copy link
Copy Markdown
Owner

I reworked the way the flake fetched things. No more need to update the tag and the hash. This rendered the release workflow useless, so I removed it.

@tomasriveral tomasriveral merged commit 2a09d4e into main May 25, 2026
1 check passed
@tomasriveral tomasriveral deleted the flake-fix branch May 26, 2026 10:03
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.

1 participant