Update flake.lock

[hnaderi]

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

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/65d7a5c' (2026-04-15)
  → 'github:typelevel/typelevel-nix/fe7b1d4' (2026-05-15)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/1304392' (2026-04-11)
  → 'github:nixos/nixpkgs/2719819' (2026-05-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, run:

git branch -D update_flake_lock_action
git fetch origin
git checkout update_flake_lock_action
git commit --amend --no-edit
git push origin update_flake_lock_action --force