Skip to content

Improved glyph url handling: accept arbitrary suffixes after {end} #1443 #1841

Improved glyph url handling: accept arbitrary suffixes after {end} #1443

Improved glyph url handling: accept arbitrary suffixes after {end} #1443 #1841

Triggered via pull request July 28, 2024 14:02
@bzeissbzeiss
synchronize #1444
bzeiss:main
Status Success
Total duration 52s
Artifacts

build-deploy-docs.yml

on: pull_request
Build Docs
43s
Build Docs
Fit to window
Zoom out
Zoom in