This PR runs prettier on the translation file added in #2201 so CI can pass on PRs targeting dev again.
Since the diff touches every line of the file, I attributed the commit to the original author of #2201.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.
## 📋 Pull Request Information
**Original PR:** https://github.com/open-webui/open-webui/pull/2234
**Author:** [@akx](https://github.com/akx)
**Created:** 5/13/2024
**Status:** ❌ Closed
**Base:** `dev` ← **Head:** `fix-dev-ci`
---
### 📝 Commits (1)
- [`6dc5fd6`](https://github.com/open-webui/open-webui/commit/6dc5fd650194a528666f7788eef02e1649a0dc55) chore: fix formatting in he-IL translation so CI passes
### 📊 Changes
**1 file changed** (+617 additions, -617 deletions)
<details>
<summary>View changed files</summary>
📝 `src/lib/i18n/locales/he-IL/translation.json` (+617 -617)
</details>
### 📄 Description
## Description
This PR runs `prettier` on the translation file added in #2201 so CI can pass on PRs targeting `dev` again.
Since the diff touches every line of the file, I attributed the commit to the original author of #2201.
---
<sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
📋 Pull Request Information
Original PR: https://github.com/open-webui/open-webui/pull/2234
Author: @akx
Created: 5/13/2024
Status: ❌ Closed
Base:
dev← Head:fix-dev-ci📝 Commits (1)
6dc5fd6chore: fix formatting in he-IL translation so CI passes📊 Changes
1 file changed (+617 additions, -617 deletions)
View changed files
📝
src/lib/i18n/locales/he-IL/translation.json(+617 -617)📄 Description
Description
This PR runs
prettieron the translation file added in #2201 so CI can pass on PRs targetingdevagain.Since the diff touches every line of the file, I attributed the commit to the original author of #2201.
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.