mirror of
https://github.com/open-webui/open-webui.git
synced 2026-03-11 00:04:08 -05:00
[PR #1348] [MERGED] fix: enforce formatters on GitHub Actions #7438
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/1348
Author: @cheahjs
Created: 3/28/2024
Status: ✅ Merged
Merged: 3/29/2024
Merged by: @tjbck
Base:
dev← Head:fix/format-actions-enforce📝 Commits (1)
f34fe49fix: enforce formatters on GitHub Actions📊 Changes
2 files changed (+5 additions, -0 deletions)
View changed files
📝
.github/workflows/format-backend.yaml(+2 -0)📝
.github/workflows/format-build-frontend.yaml(+3 -0)📄 Description
Pull Request Checklist
Description
Workflows are not currently failing when the formatters produce a diff. This PR modifies the workflows to run a
git diffafter the formatters run to catch any unformatted code that was formatted.As this hasn't been enforced in a while, this produces a massive diff that would need to be applied to actually merge the change in, and would likely result in merge conflicts for any in-flight PRs.
The frontend build is set to always run even if the format step fails, as it's useful to know if it's just a formatting issue, or if the PR doesn't build at all.
Example runs:
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.