mirror of
https://github.com/open-webui/open-webui.git
synced 2026-05-08 12:58:11 -05:00
[PR #14620] [CLOSED] ci: fix ci permissions for manifest build #23525
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/open-webui/open-webui/pull/14620
Author: @guenhter
Created: 6/3/2025
Status: ❌ Closed
Base:
dev← Head:fix-github-action-permissions📝 Commits (1)
8f4cae2ci: fix ci permissions for manifest build📊 Changes
1 file changed (+9 additions, -0 deletions)
View changed files
📝
.github/workflows/docker-build.yaml(+9 -0)📄 Description
In case the GITHUB_TOKEN permissions are not set to "write" in the github setting, the build would fail if the permissions are not adapted in the CI file.
Pull Request Checklist
Before submitting, make sure you've checked the following:
devbranch.Changelog Entry
Fixed
Contributor License Agreement
By submitting this pull request, I confirm that I have read and fully agree to the Contributor License Agreement (CLA), and I am providing my contributions under its terms.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.