Skip to content

chore: run devbox update#262

Merged
indaco merged 1 commit intomainfrom
chore/devbox-update
Apr 7, 2026
Merged

chore: run devbox update#262
indaco merged 1 commit intomainfrom
chore/devbox-update

Conversation

@indaco
Copy link
Copy Markdown
Owner

@indaco indaco commented Apr 7, 2026

Description

  • run devbox update
  • bump devbox schema file to v0.17.1

Related Issue

  • None

Notes for Reviewers

  • None

@indaco indaco merged commit 1f23a2f into main Apr 7, 2026
@indaco indaco deleted the chore/devbox-update branch April 7, 2026 12:46
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