Skip to content
CI

glossary: Unicode: refer to the Consortium's one, not ISO/IEC's #1132

Sign in to view logs

glossary: Unicode: refer to the Consortium's one, not ISO/IEC's

glossary: Unicode: refer to the Consortium's one, not ISO/IEC's #1132

Triggered via pull request November 6, 2025 15:35
@ojedaojeda
opened #617
ojeda:unicode
Status Success
Total duration 58s
Artifacts 1

ci.yml

on: pull_request
Build the documentation
48s
Build the documentation
Deploy to GitHub Pages
Deploy to GitHub Pages
CI finished
4s
CI finished
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
github-pages Expired
2.38 MB
sha256:eadbacf10d21b030f08cfa2d98fc57e2981ab4a3dc3234f953154de755ede324