Skip to content

chore: update repository structure and workflows#3

Merged
bonddim merged 5 commits into
mainfrom
dev
Apr 17, 2026
Merged

chore: update repository structure and workflows#3
bonddim merged 5 commits into
mainfrom
dev

Conversation

@bonddim
Copy link
Copy Markdown
Owner

@bonddim bonddim commented Apr 17, 2026

No description provided.

bonddim added 5 commits April 17, 2026 11:27
* pre-commit: add local hook for linting
* publish: create GitHub release after chart publish
* ci: set permissions on job level
@bonddim bonddim merged commit c7e06c3 into main Apr 17, 2026
1 check passed
@bonddim bonddim deleted the dev branch April 17, 2026 13:39
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