Skip to content

Associate extension in extraExts to latex langId #2784

Associate extension in extraExts to latex langId

Associate extension in extraExts to latex langId #2784

Triggered via push November 23, 2024 16:29
Status Success
Total duration 1m 46s
Artifacts 1
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size
test-log
309 KB