Skip to content

chore: Update Flox environment#388

Merged
garbas merged 1 commit intomainfrom
chore-update-flox-environment
Dec 22, 2025
Merged

chore: Update Flox environment#388
garbas merged 1 commit intomainfrom
chore-update-flox-environment

Conversation

@floxbot
Copy link
Contributor

@floxbot floxbot commented Dec 22, 2025

This PR was automatically created by Update workflow.

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Dec 22, 2025
@github-actions
Copy link

@garbas garbas merged commit b943e69 into main Dec 22, 2025
4 checks passed
@garbas garbas deleted the chore-update-flox-environment branch December 22, 2025 09:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

documentation Improvements or additions to documentation team-developer-support

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants