Skip to content

chore(flake): update flake.lock#15

Merged
github-actions[bot] merged 1 commit intomainfrom
update_flake_lock_action
May 11, 2026
Merged

chore(flake): update flake.lock#15
github-actions[bot] merged 1 commit intomainfrom
update_flake_lock_action

Conversation

@ralch-bot
Copy link
Copy Markdown
Contributor

@ralch-bot ralch-bot Bot commented May 11, 2026

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

Flake lock file updates:

• Updated input 'nixpkgs':
    'github:NixOS/nixpkgs/73c703c' (2026-05-03)
  → 'github:NixOS/nixpkgs/b3da656' (2026-05-08)

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 'nixpkgs':
    'github:NixOS/nixpkgs/73c703c' (2026-05-03)
  → 'github:NixOS/nixpkgs/b3da656' (2026-05-08)
@ralch-bot ralch-bot Bot added auto-merge Enable auto-merge dependencies labels May 11, 2026
@github-actions github-actions Bot merged commit c83ce6e into main May 11, 2026
2 of 3 checks passed
@github-actions
Copy link
Copy Markdown
Contributor

Code Metrics Report

Coverage Test Execution Time
90.1% 51s

Reported by octocov

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.

0 participants