Skip to content
Labels

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

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 #24407

Triggered via pull request June 14, 2024 10:43
@jkrumbiegeljkrumbiegel
opened #54800
jkrumbiegel:jk/show-completed-symbols
Status Success
Total duration 27s
Artifacts –

LabelCheck.yml

on: pull_request
Check for blocking labels
14s
Check for blocking labels
Fit to window
Zoom out
Zoom in