flake.lock: Update

[typelevel-steward[bot]]

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

Flake lock file updates:

• Updated input 'devshell':
    'github:numtide/devshell/f26c2e05cd766be3750dd3d6e276650a1eab4c61' (2023-09-16)
  → 'github:numtide/devshell/05d40d17bf3459606316e3e9ec683b784ff28f16' (2023-09-20)
• Updated input 'nixpkgs':
    'github:nixos/nixpkgs/5148520bfab61f99fd25fb9ff7bfbb50dad3c9db' (2023-09-17)
  → 'github:nixos/nixpkgs/e12483116b3b51a185a33a272bf351e357ba9a99' (2023-09-21)

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