Merge pull request #761 from zensical/chore/update-ui

chore: update ui to v0.0.19
This commit is contained in:
Martin Donath
2026-06-21 20:31:01 +02:00
committed by GitHub
3 changed files with 3 additions and 2 deletions
+1 -1
View File
@@ -21,7 +21,7 @@
# FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS
# IN THE SOFTWARE.
[changeset.scopes]
[scopes]
compat = "python/**"
docker = "Dockerfile"
ui = "scripts/**"
+1
View File
@@ -378,6 +378,7 @@ keep = {
"li",
"ol",
"ul",
"small",
"sub",
"sup",
}
+1 -1
View File
@@ -39,7 +39,7 @@ def main() -> int:
# Clone UI repository into tmp directory
repo_url = "https://github.com/zensical/ui.git"
repo_tag = "v0.0.18"
repo_tag = "v0.0.19"
dest_dir = os.path.join("tmp", "ui")
if not os.path.exists(dest_dir):
subprocess.run(["git", "clone", repo_url, dest_dir], check=True)