Skip to content

Make the PG problem editor resize grips properly color scheme responsive. (hotfix of #3170) #3203

Make the PG problem editor resize grips properly color scheme responsive. (hotfix of #3170)

Make the PG problem editor resize grips properly color scheme responsive. (hotfix of #3170) #3203

Triggered via pull request August 27, 2026 10:17
Status Success
Total duration 48s
Artifacts

check-formats.yml

on: pull_request
Check Perl file formatting with perltidy
44s
Check Perl file formatting with perltidy
Check JavaScript, style, and HTML file formatting with prettier
14s
Check JavaScript, style, and HTML file formatting with prettier
Fit to window
Zoom out
Zoom in