Skip to content
Typos

Actually show glyphs for latex or emoji shortcodes being suggested in the REPL #11073

Sign in to view logs

Actually show glyphs for latex or emoji shortcodes being suggested in the REPL

Actually show glyphs for latex or emoji shortcodes being suggested in the REPL #11073

Triggered via pull request November 21, 2024 17:01
@DilumAluthgeDilumAluthge
synchronize #54800
jkrumbiegel:jk/show-completed-symbols
Status Success
Total duration 14s
Artifacts –

Typos.yml

on: pull_request
Check for new typos
5s
Check for new typos
Fit to window
Zoom out
Zoom in