mirror of
https://github.com/open-webui/open-webui.git
synced 2026-03-11 08:15:00 -05:00
[PR #3204] [MERGED] build: fixed GitHub actions on usernames with uppercase characters #8000
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/3204
Author: @JohnTheNerd
Created: 6/16/2024
Status: ✅ Merged
Merged: 6/16/2024
Merged by: @tjbck
Base:
dev← Head:fix-github-actions📝 Commits (2)
dbfb6d5fixed GitHub actions on usernames with uppercase characters60ee08amade the environment variable name IMAGE_NAME as requested📊 Changes
1 file changed (+54 additions, -2 deletions)
View changed files
📝
.github/workflows/docker-build.yaml(+54 -2)📄 Description
Pull Request Checklist
Note to first-time contributors: Please open a discussion post in Discussions and describe your changes before submitting a pull request.
Before submitting, make sure you've checked the following:
devbranch.Changelog Entry
Description
Fixed GitHub actions for everyone that has uppercase characters in their username, by converting the image name to lowercase. GHCR image names are required to be in lowercase.
Added
N/A
Changed
N/A
Deprecated
N/A
Removed
N/A
Fixed
GitHub Actions is now fixed for anyone with uppercase characters in their username
Security
N/A
Breaking Changes
N/A
Additional Information
You can see the actions running in my fork. Discussion post is #3203
Screenshots or Videos
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.