Skip to content

flake.lock: Update#4537

Merged
djspiewak merged 1 commit intoseries/3.xfrom
update/flake-lock
Dec 29, 2025
Merged

flake.lock: Update#4537
djspiewak merged 1 commit intoseries/3.xfrom
update/flake-lock

Conversation

@typelevel-steward
Copy link
Contributor

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

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/1224bbf6d7f80a66d064c656f9ff0868825099be?narHash=sha256-2r84BeJmcT3ntaCNtHsWr3ui9lHymwrvDQ9qTC5amXQ%3D' (2025-10-27)
  → 'github:typelevel/typelevel-nix/5c71dee6bcd60cf4c3ad010a161b8d876d3a7fa4?narHash=sha256-IPfrqHHnWISgky88F4F11AcoUFxWeIizsoHNhyckMT8%3D' (2025-12-22)
• Updated input 'typelevel-nix/devshell':
    'github:numtide/devshell/7c9e793ebe66bcba8292989a68c0419b737a22a0?narHash=sha256-kWNaq6wQUbUMlPgw8Y%2B9/9wP0F8SHkjy24/mN3UAppg%3D' (2025-03-08)
  → 'github:numtide/devshell/17ed8d9744ebe70424659b0ef74ad6d41fc87071?narHash=sha256-M7SZyPZiqZUR/EiiBJnmyUbOi5oE/03tCeFrTiUZchI%3D' (2025-11-24)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/02f2cb8e0feb4596d20cc52fda73ccee960e3538?narHash=sha256-tH3wHnOJms%2BU4k/rK2Nn1RfBrhffX92jLP/2VndSn0w%3D' (2025-10-24)
  → 'github:nixos/nixpkgs/7d853e518814cca2a657b72eeba67ae20ebf7059?narHash=sha256-l/YGrEpLromL4viUo5GmFH3K5M1j0Mb9O%2BLiaeCPWEM%3D' (2025-12-19)

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/1224bbf6d7f80a66d064c656f9ff0868825099be?narHash=sha256-2r84BeJmcT3ntaCNtHsWr3ui9lHymwrvDQ9qTC5amXQ%3D' (2025-10-27)
  → 'github:typelevel/typelevel-nix/5c71dee6bcd60cf4c3ad010a161b8d876d3a7fa4?narHash=sha256-IPfrqHHnWISgky88F4F11AcoUFxWeIizsoHNhyckMT8%3D' (2025-12-22)
• Updated input 'typelevel-nix/devshell':
    'github:numtide/devshell/7c9e793ebe66bcba8292989a68c0419b737a22a0?narHash=sha256-kWNaq6wQUbUMlPgw8Y%2B9/9wP0F8SHkjy24/mN3UAppg%3D' (2025-03-08)
  → 'github:numtide/devshell/17ed8d9744ebe70424659b0ef74ad6d41fc87071?narHash=sha256-M7SZyPZiqZUR/EiiBJnmyUbOi5oE/03tCeFrTiUZchI%3D' (2025-11-24)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/02f2cb8e0feb4596d20cc52fda73ccee960e3538?narHash=sha256-tH3wHnOJms%2BU4k/rK2Nn1RfBrhffX92jLP/2VndSn0w%3D' (2025-10-24)
  → 'github:nixos/nixpkgs/7d853e518814cca2a657b72eeba67ae20ebf7059?narHash=sha256-l/YGrEpLromL4viUo5GmFH3K5M1j0Mb9O%2BLiaeCPWEM%3D' (2025-12-19)
@mergify mergify bot added the 🤖 label Dec 28, 2025
@djspiewak djspiewak merged commit 822a6d2 into series/3.x Dec 29, 2025
35 of 39 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant