What changed
GitHub never sent the push event for the trend indicators merge, so neither the Verify checks nor the production deploy ran for it.
- The Verify workflow can now also be started by hand from GitHub, for the next time that happens.
- Merging this change triggered a deploy, which put the trend indicators live.