Skip to content

Remove nix shell#374

Merged
Garmelon merged 1 commit intomainfrom
no-nix
Sep 2, 2025
Merged

Remove nix shell#374
Garmelon merged 1 commit intomainfrom
no-nix

Conversation

@Garmelon
Copy link
Collaborator

@Garmelon Garmelon commented Sep 2, 2025

A simple test PR to check whether CI is still working.

@Garmelon Garmelon merged commit 4a20a5b into main Sep 2, 2025
3 checks passed
@Garmelon Garmelon deleted the no-nix branch September 2, 2025 08:00
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.

1 participant