Skip to content

flake.lock: Update - #282

Merged
rossabaker merged 1 commit into
mainfrom
update_flake_lock_action
Sep 15, 2026
Merged

rossabaker merged 1 commit into
mainfrom
update_flake_lock_action

Conversation

@typelevel-steward

Copy link
Copy Markdown

Automated changes by the update-flake-lock GitHub Action.

Flake lock file updates:

• Updated input 'devshell':
    'github:numtide/devshell/255a2b1725a20d060f566e4755dbf571bbbb5f76?narHash=sha256-460jc0%2BCZfyaO8%2Bw8JNtlClB2n4ui1RbHfPTLkpwhU8%3D' (2026-01-19)
  → 'github:numtide/devshell/a67c0f87b63bcbdbdcb56785bec0205a2e3d6026?narHash=sha256-EWkNM4JzBhZ/Yn1PG6lP4/QJuFAFeHYlY5gVxXu940Y%3D' (2026-09-02)
• Updated input 'nixpkgs':
    'github:nixos/nixpkgs/6b5e5b7a6631f065bf6908986990b37d845f847f?narHash=sha256-smTKQXMLLStzc8zJevMCckbk3My7SvbbLmPYZUJJKW4%3D' (2026-08-13)
  → 'github:nixos/nixpkgs/c7def046b9a883d46974757852106483d741586f?narHash=sha256-6RSEDHIWQtesQKWSu5qRai8L2h4KgCgMEfJHstW99G4%3D' (2026-09-14)

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.

Flake lock file updates:

• Updated input 'devshell':
    'github:numtide/devshell/255a2b1725a20d060f566e4755dbf571bbbb5f76?narHash=sha256-460jc0%2BCZfyaO8%2Bw8JNtlClB2n4ui1RbHfPTLkpwhU8%3D' (2026-01-19)
  → 'github:numtide/devshell/a67c0f87b63bcbdbdcb56785bec0205a2e3d6026?narHash=sha256-EWkNM4JzBhZ/Yn1PG6lP4/QJuFAFeHYlY5gVxXu940Y%3D' (2026-09-02)
• Updated input 'nixpkgs':
    'github:nixos/nixpkgs/6b5e5b7a6631f065bf6908986990b37d845f847f?narHash=sha256-smTKQXMLLStzc8zJevMCckbk3My7SvbbLmPYZUJJKW4%3D' (2026-08-13)
  → 'github:nixos/nixpkgs/c7def046b9a883d46974757852106483d741586f?narHash=sha256-6RSEDHIWQtesQKWSu5qRai8L2h4KgCgMEfJHstW99G4%3D' (2026-09-14)
@rossabaker
rossabaker force-pushed the update_flake_lock_action branch from db14bcf to 6ae041b Compare September 15, 2026 18:04
@rossabaker
rossabaker merged commit 963f2bd into main Sep 15, 2026
2 checks passed
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