Skip to content

Merge pull request #1085 from drgrice1/jsxgraph-update #186

Merge pull request #1085 from drgrice1/jsxgraph-update

Merge pull request #1085 from drgrice1/jsxgraph-update #186

Triggered via push July 23, 2024 19:00
Status Success
Total duration 1m 11s
Artifacts
Check Perl file formatting with perltidy
1m 0s
Check Perl file formatting with perltidy
Check JavaScript, style, and HTML file formatting with prettier
29s
Check JavaScript, style, and HTML file formatting with prettier
Fit to window
Zoom out
Zoom in