Skip to content

Merge branch 'main' of github.com:NSoiffer/MathCATForPython #43

Merge branch 'main' of github.com:NSoiffer/MathCATForPython

Merge branch 'main' of github.com:NSoiffer/MathCATForPython #43

Triggered via push November 18, 2025 08:26
Status Success
Total duration 36s
Artifacts
buildPotFileAndCheckTranslatorsComments
32s
buildPotFileAndCheckTranslatorsComments
Fit to window
Zoom out
Zoom in