Skip to content

Merge remote-tracking branch 'origin/main' into WeBWorK-2.20 #1388

Merge remote-tracking branch 'origin/main' into WeBWorK-2.20

Merge remote-tracking branch 'origin/main' into WeBWorK-2.20 #1388

Check JavaScript, style, and HTML file formatting with prettier

succeeded Apr 29, 2025 in 12s