Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
ci: set workflow permissions for release job
We had the issue that the github action wasnt able to push tags to github. This should fix the issue ref: #1828
- Loading branch information