Skip to content

If user mistakenly attempts to delete a comment, fail gracefully #434

If user mistakenly attempts to delete a comment, fail gracefully

If user mistakenly attempts to delete a comment, fail gracefully #434

Triggered via pull request November 16, 2023 16:36
Status Success
Total duration 1m 5s
Artifacts
This run and associated checks have been archived and are scheduled for deletion. Learn more about checks retention

php.yml

on: pull_request
PHP Syntax check 7.2 => 8.2
47s
PHP Syntax check 7.2 => 8.2
PHP-CS-Fixer
15s
PHP-CS-Fixer
Matrix: PHPStan
Fit to window
Zoom out
Zoom in