Skip to content

Conversation

@hercules-ci
Copy link
Contributor

@hercules-ci hercules-ci bot commented Jan 28, 2024

Update flake.lock. See the commit message(s) for details.

You may reset this branch by deleting it and re-running the update job.

git push origin :updated-flake-lock

@szg251 szg251 force-pushed the updated-flake-lock branch from cbc0a49 to 1fece4a Compare January 29, 2024 10:11
Co-authored-by: Szabo Gergely <gege251@mailbox.org>
@bladyjoker bladyjoker self-assigned this Jan 31, 2024
@bladyjoker bladyjoker added the devops All things devops (Nix, language servers, editors, code quality etc) label Jan 31, 2024
@bladyjoker bladyjoker added this pull request to the merge queue Jan 31, 2024
Merged via the queue into main with commit c83cdf9 Jan 31, 2024
@bladyjoker bladyjoker deleted the updated-flake-lock branch January 31, 2024 12:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

devops All things devops (Nix, language servers, editors, code quality etc)

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants