flake.lock: Update#16
Open
github-actions[bot] wants to merge 1 commit into
Open
Conversation
9561d0a to
097d876
Compare
8787db9 to
3d8a61a
Compare
3d8a61a to
649023e
Compare
1edaf8e to
cf15ef6
Compare
cf15ef6 to
537c109
Compare
537c109 to
d86f918
Compare
d86f918 to
e53fac5
Compare
e53fac5 to
c985786
Compare
c985786 to
aebc58a
Compare
aebc58a to
572d916
Compare
e7b4f42 to
bc2ab43
Compare
Flake lock file updates:
• Updated input 'effekt-nix':
'github:jiribenes/effekt-nix/8029cdc' (2026-01-19)
→ 'github:jiribenes/effekt-nix/5656fce' (2026-05-11)
• Updated input 'nixpkgs':
'github:NixOS/nixpkgs/bde0902' (2026-01-19)
→ 'github:NixOS/nixpkgs/c6e5ca3' (2026-05-11)
bc2ab43 to
ee87a5c
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Automated changes by the update-flake-lock GitHub Action.
Running GitHub Actions on this PR
GitHub Actions will not run workflows on pull requests which are opened by a GitHub Action.
To run GitHub Actions workflows on this PR, close and re-open this pull request.