Skip to content

chore: Update Flox environment#441

Merged
devusb merged 2 commits intomainfrom
chore-update-flox-environment
Mar 17, 2026
Merged

chore: Update Flox environment#441
devusb merged 2 commits intomainfrom
chore-update-flox-environment

Conversation

@floxbot
Copy link
Copy Markdown
Contributor

@floxbot floxbot commented Mar 16, 2026

This PR was automatically created by Update workflow.

@github-actions github-actions bot added the documentation Improvements or additions to documentation label Mar 16, 2026
@github-actions
Copy link
Copy Markdown

@github-actions
Copy link
Copy Markdown

@devusb devusb merged commit 1a885c6 into main Mar 17, 2026
3 checks passed
@devusb devusb deleted the chore-update-flox-environment branch March 17, 2026 21:11
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