Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

flake.lock: Update #3310

Merged
merged 1 commit into from
Oct 17, 2023
Merged

flake.lock: Update #3310

merged 1 commit into from
Oct 17, 2023

Conversation

typelevel-steward[bot]
Copy link
Contributor

@typelevel-steward typelevel-steward bot commented Sep 19, 2023

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

Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/91bcfa0f1d3788371c07a9aa8df8ad5800eaebd8' (2023-09-05)
  → 'github:typelevel/typelevel-nix/6d5aa0fe626b2b8f899660caeb1a288fe4112213' (2023-10-09)
• Updated input 'typelevel-nix/devshell':
    'github:numtide/devshell/2aa26972b951bc05c3632d4e5ae683cb6771a7c6' (2023-08-23)
  → 'github:numtide/devshell/cd4e2fda3150dd2f689caeac07b7f47df5197c31' (2023-09-29)
• Updated input 'typelevel-nix/flake-utils':
    'github:numtide/flake-utils/f9e7cf818399d17d347f847525c5a5a8032e4e44' (2023-08-23)
  → 'github:numtide/flake-utils/ff7b65b44d01cf9ba6a71320833626af21126384' (2023-09-12)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/d816b5ab44187a2dd84806630ce77a733724f95f' (2023-09-03)
  → 'github:nixos/nixpkgs/5aabb5780a11c500981993d49ee93cfa6df9307b' (2023-10-08)

@typelevel-steward typelevel-steward bot force-pushed the update/flake-lock branch 2 times, most recently from eb14d9a to a07af25 Compare October 3, 2023 07:48
Flake lock file updates:

• Updated input 'typelevel-nix':
    'github:typelevel/typelevel-nix/91bcfa0f1d3788371c07a9aa8df8ad5800eaebd8' (2023-09-05)
  → 'github:typelevel/typelevel-nix/6d5aa0fe626b2b8f899660caeb1a288fe4112213' (2023-10-09)
• Updated input 'typelevel-nix/devshell':
    'github:numtide/devshell/2aa26972b951bc05c3632d4e5ae683cb6771a7c6' (2023-08-23)
  → 'github:numtide/devshell/cd4e2fda3150dd2f689caeac07b7f47df5197c31' (2023-09-29)
• Updated input 'typelevel-nix/flake-utils':
    'github:numtide/flake-utils/f9e7cf818399d17d347f847525c5a5a8032e4e44' (2023-08-23)
  → 'github:numtide/flake-utils/ff7b65b44d01cf9ba6a71320833626af21126384' (2023-09-12)
• Updated input 'typelevel-nix/nixpkgs':
    'github:nixos/nixpkgs/d816b5ab44187a2dd84806630ce77a733724f95f' (2023-09-03)
  → 'github:nixos/nixpkgs/5aabb5780a11c500981993d49ee93cfa6df9307b' (2023-10-08)
@mpilquist mpilquist merged commit 990879c into main Oct 17, 2023
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant