Skip to content

Conversation

edolstra
Copy link
Collaborator

Motivation

See NixOS#13108.

Context

Copy link

github-actions bot commented Jul 22, 2025

@github-actions github-actions bot temporarily deployed to pull request July 22, 2025 12:07 Inactive
@github-actions github-actions bot temporarily deployed to pull request July 22, 2025 14:23 Inactive
@edolstra edolstra added this pull request to the merge queue Jul 22, 2025
Merged via the queue into detsys-main with commit 09fbe15 Jul 22, 2025
33 checks passed
@edolstra edolstra deleted the formatting branch July 22, 2025 17:23
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants