Skip to content

Add "PG Critic" to the PG problem editor. #1632

Add "PG Critic" to the PG problem editor.

Add "PG Critic" to the PG problem editor. #1632

Triggered via pull request July 18, 2025 10:20
Status Success
Total duration 42s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

check-formats.yml

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