Skip to content

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

Add "PG Critic" to the PG problem editor.

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

Triggered via pull request July 20, 2025 12:27
Status Success
Total duration 44s
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
40s
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