You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Follows-up f722dd7.
This file is only run by the periodic "smoke" job in CI, and so
didn't get noticed until a few minutes after deploying the change.
Not a big deal since the file is indeed only used by that job, and
not anywhere in prod. But.. getting that feedback earlier when there
is an obvious statically detectable mistake will be useful so let's
lint PHP files in `make lint` both locally and in CI for commit/PR.
0 commit comments