Skip to content
CI

add some more characters to Scribble's unicode->latex conversion #208

Sign in to view logs

add some more characters to Scribble's unicode->latex conversion

add some more characters to Scribble's unicode->latex conversion #208

Triggered via push November 16, 2023 16:01
@rfindlerrfindler
pushed d750bce
master
Status Success
Total duration 6m 24s
Artifacts –

ci.yml

on: push
Matrix: build
Fit to window
Zoom out
Zoom in