We are deploying to digital ocean app platform via the included pulumi script. The app should be deployed via CI on merges to main.
It appears the last deployment was Jan 14, but the last merge to main was Jan 19. I manually deployed the app today (Feb 23) via the digital ocean web interface.
We should fix the CI setup so that the app is deployed automatically on merges to main.